Processing commands for control@???:
> merge 518 519
Bug #518 [grub-common] grub-common: grub.cfg is written with /root=/dev/md127 or /root/dev/md126 rather than UUID
Warning: Unknown package 'grub-common'
Bug #519 [grub-common] grub-common: grub.cfg is written with /root=/dev/md127 or /root/dev/md126 rather than UUID
Merged 518 519
Warning: Unknown package 'grub-common'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
518:
https://bugs.devuan.org/cgi/bugreport.cgi?bug=518
519:
https://bugs.devuan.org/cgi/bugreport.cgi?bug=519
Devuan Bug Tracking System
Contact owner@??? with problems