-diff -urNp grub-2.02-rc1.orig/docs/grub.cfg grub-2.02-rc1/docs/grub.cfg
---- grub-2.02-rc1.orig/docs/grub.cfg 2017-02-08 15:07:55.114316212 +0000
-+++ grub-2.02-rc1/docs/grub.cfg 2017-02-08 15:08:12.255316019 +0000
-@@ -14,8 +14,8 @@ set fallback=gnuhurd
+diff -ur grub-2.04.orig/docs/grub.cfg grub-2.04/docs/grub.cfg
+--- grub-2.04.orig/docs/grub.cfg 2019-08-18 15:56:16.561000000 +0200
++++ grub-2.04/docs/grub.cfg 2019-08-18 15:56:54.745000000 +0200
+@@ -14,8 +14,8 @@
# For booting GNU/Linux
menuentry "GNU/Linux" --id gnulinux {
set root=(hd0,msdos1)