diff for duplicates of <20200921152850.59194-1-efremov@linux.com> diff --git a/a/1.txt b/N1/1.txt index a081557..252a89d 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -59,8 +59,3 @@ index 000000000000..ab28393e4843 +coccilib.org.print_todo(p[0], "WARNING !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 3e23792..553c2dd 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,9 +1,10 @@ "ref\020200902151859.403354-1-efremov@linux.com\0" "From\0Denis Efremov <efremov@linux.com>\0" - "Subject\0[Cocci] [PATCH v2] coccinelle: misc: add excluded_middle.cocci script\0" + "Subject\0[PATCH v2] coccinelle: misc: add excluded_middle.cocci script\0" "Date\0Mon, 21 Sep 2020 18:28:50 +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" @@ -67,11 +68,6 @@ "+\n" "+coccilib.org.print_todo(p[0], \"WARNING !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 -26636ca50d175ef858aff087511581fc8bc86c9eb7e65b6d47fcaa2fa033a6d9 +84609e7b9965549fd8063ac651209a0c6c853442867cb623168410dac9d91450
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.