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