https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=801631
Not tested it yet but it's now marked as fixed. Devuan should now display correctly in grub menus without need for "hacks". Cheers, D _______________________________________________ Dng mailing list Dng@lists.dyne.org https://mailinglists.dyne.org/cgi-bin/mailman/listinfo/dng
