diff for duplicates of <20200902151859.403354-1-efremov@linux.com> diff --git a/a/1.txt b/N1/1.txt index f375f63..aaa406d 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -55,8 +55,3 @@ index 000000000000..1b8c20f13966 +coccilib.org.print_todo(p[0], "WARNING condition !A || A && B is equivalent to !A || B") -- 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 1d5a3a5..4540d8a 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,8 +1,9 @@ "From\0Denis Efremov <efremov@linux.com>\0" - "Subject\0[Cocci] [PATCH] coccinelle: misc: add excluded_middle.cocci script\0" + "Subject\0[PATCH] coccinelle: misc: add excluded_middle.cocci script\0" "Date\0Wed, 2 Sep 2020 18:18:59 +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" @@ -62,11 +63,6 @@ "+\n" "+coccilib.org.print_todo(p[0], \"WARNING condition !A || A && B is equivalent to !A || B\")\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 -30293ffbbf9706b4d3abb2ea3d6298f29fefb512be2c78df5d2e024661448963 +b2a6362dfdfb9f480536f719a74663be7425d02aed9a1d853e1cef2c750498d5
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.