Comment 5 for bug 420077

Revision history for this message
Bernhard (b.a.koenig) wrote :

No that works fine, changes in /etc/default/grub are reflected in the Startup Manager and vice versa.