Ubuntu
grub2 package

Bug #1824245
Comment #8

Comment 8 for bug 1824245

Revision history for this message

Neal Gompa (ngompa13) wrote on 2019-09-16:

#8

Patch to debian packaging to fix this (v2) Edit (3.9 KiB, text/plain)

cjwatson, I've updated the patch accordingly...