[patch] do not overwrite GRUB_CMDLINE_LINUX_DEFAULT once it has been set
18112.diff (text/plain), 607 bytes, created by Thierry Vignaud on 2016-04-04 23:40:43 CEST
(hide)
 
Creator: Thierry Vignaud
Created: 2016-04-04 23:40:43 CEST
Size: 607 bytes
Actions: View | Diff
Attachments on bug 18112: 7626 | 7627 | 7628 | 7629