+2013-11-15 Colin Watson <cjwatson@ubuntu.com>
+
+ * util/grub-reboot.in (usage): Fix a typo.
+
2013-11-15 Vladimir Serbinenko <phcoder@gmail.com>
Replace libgcc version of ctz with our own.
gettext "MENU_ENTRY is a number, a menu item title or a menu item identifier. Please note that menu items in
submenus or sub-submenus require specifying the submenu components and then the
menu item component. The titles should be separated using the greater-than
-character (>) with no extra spaces. Depending on your shell some characters including > may need escpaing. More information about this is available
+character (>) with no extra spaces. Depending on your shell some characters including > may need escaping. More information about this is available
in the GRUB Manual in the section about the 'default' command. "; echo
echo
gettext "Report bugs to <bug-grub@gnu.org>."; echo