strip double quotes from grub boot options (fixes #1406)
This page took 0.046504 seconds and 3 git commands to generate.