diff for duplicates of <56D1DC36.1020603@gmail.com> diff --git a/a/1.txt b/N1/1.txt index e31257b..031e8ee 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -86,4 +86,10 @@ details; if you and Vladimir are OK, I'll commit with this change. > @node Networking commands > @section The list of networking commands > -> +> + + +_______________________________________________ +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 62d6d64..faaa585 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -102,6 +102,12 @@ "> @node Networking commands\n" "> @section The list of networking commands\n" "> \n" - > + "> \n" + "\n" + "\n" + "_______________________________________________\n" + "Grub-devel mailing list\n" + "Grub-devel@gnu.org\n" + https://lists.gnu.org/mailman/listinfo/grub-devel -df4caa43f565120c617ad83a18ea2539e74393cd5d9195bb9bbd1d481d3dde9c +c63b48399cdd2e5873cf2f5630c61e96f7c3c510fd799c34447d00d7a9e4b620
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.