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. ATB, Ramsay Jones -- 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
