diff for duplicates of <56CDF280.3040602@gmail.com> diff --git a/a/1.txt b/N1/1.txt index d6a7b70..5a41146 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -39,4 +39,10 @@ Please define feature for it, see grub-core/normal/main.c. > grub_unregister_command (cmd_xen_module); > + grub_env_unset ("grub_xen_boot"); > } -> +> + + +_______________________________________________ +Grub-devel mailing list +Grub-devel@gnu.org +https://lists.gnu.org/mailman/listinfo/grub-devel diff --git a/a/content_digest b/N1/content_digest index a6d703c..b14bec0 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -55,6 +55,12 @@ "> grub_unregister_command (cmd_xen_module);\n" "> + grub_env_unset (\"grub_xen_boot\");\n" "> }\n" - > + "> \n" + "\n" + "\n" + "_______________________________________________\n" + "Grub-devel mailing list\n" + "Grub-devel@gnu.org\n" + https://lists.gnu.org/mailman/listinfo/grub-devel -a1cbb14e95a5d9d76899e9fdbace2c232837f3ae835861c384bf1e249f6e36a3 +84d85ea89654cd0e13817f624561eb084a3dcb8f0eee911e041d4207e0277365
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.