diff for duplicates of <20191001125742.GD90796@google.com> diff --git a/a/1.txt b/N1/1.txt index 1478fa0..998af18 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -89,7 +89,3 @@ scripts in scripts/coccinelle sounds sensible. Cheers, Matthias -_______________________________________________ -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 229f962..c573ff4 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -4,12 +4,14 @@ "ref\0alpine.DEB.2.21.1909291810300.3346@hadrien\0" "ref\0ac79cb42-1713-8801-37e4-edde540f101c@huawei.com\0" "From\0Matthias Maennich <maennich@google.com>\0" - "Subject\0Re: [Cocci] [RFC PATCH] scripts: Fix coccicheck failed\0" + "Subject\0Re: [RFC PATCH] scripts: Fix coccicheck failed\0" "Date\0Tue, 1 Oct 2019 13:57:42 +0100\0" "To\0Yuehaibing <yuehaibing@huawei.com>\0" - "Cc\0michal.lkml@markovi.net" - gregkh@linuxfoundation.org + "Cc\0Julia Lawall <julia.lawall@lip6.fr>" + Gilles Muller <Gilles.Muller@lip6.fr> nicolas.palix@imag.fr + michal.lkml@markovi.net + gregkh@linuxfoundation.org linux-kernel@vger.kernel.org " cocci@systeme.lip6.fr\0" "\00:1\0" @@ -104,10 +106,6 @@ ">\n" "\n" "Cheers,\n" - "Matthias\n" - "_______________________________________________\n" - "Cocci mailing list\n" - "Cocci@systeme.lip6.fr\n" - https://systeme.lip6.fr/mailman/listinfo/cocci + Matthias -4984149d351361f0448fbee6371fa2294b236899b51f2d6e2a889c56e53232dd +82dffa520f6257efc3590dff8275b0326027c0779edd47546fd08b8ae4438fd5
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.