All Questions
1 question
1
vote
1
answer
64
views
Is it reasonable to warn people about a bug and provide a workaround? [duplicate]
The title is about it. But, specifically there is a bug
(https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1227365)
which causes no grub menu to appear on loading (even holding down shift). I ...