diff for duplicates of <20200720162216.13248-1-efremov@linux.com> diff --git a/a/1.txt b/N1/1.txt index 0cf867e..ce34f58 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -17,8 +17,3 @@ Denis Efremov (3): -- 2.26.2 - -_______________________________________________ -Cocci mailing list -Cocci@systeme.lip6.fr -https://systeme.lip6.fr/mailman/listinfo/cocci diff --git a/a/content_digest b/N1/content_digest index 5c0cc59..5a6e23f 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,8 +1,9 @@ "From\0Denis Efremov <efremov@linux.com>\0" - "Subject\0[Cocci] [PATCH v3 0/3] Update memdup_user.cocci\0" + "Subject\0[PATCH v3 0/3] Update memdup_user.cocci\0" "Date\0Mon, 20 Jul 2020 19:22:13 +0300\0" "To\0Julia Lawall <julia.lawall@inria.fr>\0" - "Cc\0cocci@systeme.lip6.fr" + "Cc\0Denis Efremov <efremov@linux.com>" + cocci@systeme.lip6.fr " linux-kernel@vger.kernel.org\0" "\00:1\0" "b\0" @@ -24,11 +25,6 @@ " 1 file changed, 61 insertions(+), 3 deletions(-)\n" "\n" "-- \n" - "2.26.2\n" - "\n" - "_______________________________________________\n" - "Cocci mailing list\n" - "Cocci@systeme.lip6.fr\n" - https://systeme.lip6.fr/mailman/listinfo/cocci + 2.26.2 -6a819119c4c588be0ca7ffa44f161d3021af4fba957d8f20e9c43564f96515fc +2a1b99e64fa9dabd8f18f60dc286985a8ff19c3540bd19f769391d9fbbce9ea1
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.