diff for duplicates of <56CDF1E4.7010703@gmail.com> diff --git a/a/1.txt b/N1/1.txt index bf0601e..3a2c2fd 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -54,4 +54,10 @@ likely needs to support the same option. > EOF > fi > sed "s/^/$submenu_indentation/" << EOF -> +> + + +_______________________________________________ +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 c6af537..e853356 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -70,6 +70,12 @@ "> EOF\n" "> fi\n" "> sed \"s/^/$submenu_indentation/\" << EOF\n" - > + "> \n" + "\n" + "\n" + "_______________________________________________\n" + "Grub-devel mailing list\n" + "Grub-devel@gnu.org\n" + https://lists.gnu.org/mailman/listinfo/grub-devel -3aa692ca56236d10e442f73de39dcdc0a63fcd93092057f6c86efd158d018b2b +5d95f1acf3423db1cb62a6195670bc98c4f6d2733dc67a28c761295e01be57a1
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.