Processing commands for control@???:

> tags 518 + debian
Bug #518 {Done: Mark Hindley <mark@???>} [grub-common] grub-common: grub.cfg is written with /root=/dev/md127 or /root/dev/md126 rather than UUID
Bug #519 {Done: Mark Hindley <mark@???>} [grub-common] grub-common: grub.cfg is written with /root=/dev/md127 or /root/dev/md126 rather than UUID
Warning: Unknown package 'grub-common'
Added tag(s) debian.
Added tag(s) debian.
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