diff for duplicates of <573D71EE.9000604@suse.com> diff --git a/a/1.txt b/N1/1.txt index e5e1d97..ec5ad37 100644 --- a/a/1.txt +++ b/N1/1.txt @@ -3,7 +3,7 @@ Dne 17.5.2016 v 16:33 Julia Lawall napsal(a): > > On Tue, 17 May 2016, Nicolas Palix (LIG) wrote: > ->> Le 16/05/16 14:55, Kees Cook a ?crit : +>> Le 16/05/16 14:55, Kees Cook a écrit : >>> By default, "seq" counts from 1, but processes were starting counting >>> from 0, so when interrupted, coccicheck would leave the 0th process >>> running. diff --git a/a/content_digest b/N1/content_digest index 7f9efc3..847ee84 100644 --- a/a/content_digest +++ b/N1/content_digest @@ -1,10 +1,15 @@ "ref\020160516125558.GA352@www.outflux.net\0" "ref\0573B2B89.7060004@imag.fr\0" "ref\0alpine.DEB.2.10.1605171633460.3068@hadrien\0" - "From\0mmarek@suse.com (Michal Marek)\0" - "Subject\0[Cocci] [PATCH] coccicheck: Fix missing 0 index in kill loop\0" + "From\0Michal Marek <mmarek@suse.com>\0" + "Subject\0Re: [PATCH] coccicheck: Fix missing 0 index in kill loop\0" "Date\0Thu, 19 May 2016 09:57:34 +0200\0" - "To\0cocci@systeme.lip6.fr\0" + "To\0Julia Lawall <julia.lawall@lip6.fr>" + " Nicolas Palix (LIG) <Nicolas.Palix@imag.fr>\0" + "Cc\0Kees Cook <keescook@chromium.org>" + linux-kernel@vger.kernel.org + Gilles Muller <Gilles.Muller@lip6.fr> + " cocci@systeme.lip6.fr\0" "\00:1\0" "b\0" "Dne 17.5.2016 v 16:33 Julia Lawall napsal(a):\n" @@ -12,7 +17,7 @@ "> \n" "> On Tue, 17 May 2016, Nicolas Palix (LIG) wrote:\n" "> \n" - ">> Le 16/05/16 14:55, Kees Cook a ?crit :\n" + ">> Le 16/05/16 14:55, Kees Cook a \303\251crit :\n" ">>> By default, \"seq\" counts from 1, but processes were starting counting\n" ">>> from 0, so when interrupted, coccicheck would leave the 0th process\n" ">>> running.\n" @@ -27,4 +32,4 @@ "\n" Michal -785b4068606d7407f4c1188f995c00166c6edc3aafb91130d8855883c4cf25ab +64f842f688a35b1394ae5dcc49cbff13d3e2a3f0fe6e3f0f440a9b4491f08a80
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.