On Tue, Jun 12, 2018 at 05:57:36PM +0100, Ramsay Jones wrote: > > > On 12/06/18 17:37, Luc Van Oostenryck wrote: > > On Tue, Jun 12, 2018 at 05:14:28PM +0100, Ramsay Jones wrote: > >> > >> (You also sent two patch #12's, BTW). > > > > Mmmm, strange, I don't see that. > > Have they the same title and/or same content? > > I just had a look - they are identical, apart from having > been received approx 37 minutes apart, from vger.kernel.org > (same IP address, but different id in Received header - same > Message-id field), so it looks like a spurious re-send from > the vger.kernel.org server. Ah OK. Must be something like that, indeed. I was wondering how I could have done (more than once, because of copy-paste, I missed a 'v2' in a cover letter, but this ...) -- Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html