On 08/02/19 17:07, Philippe Mathieu-Daudé wrote: > And yet this isn't a pull request but a simple patch, so the Message-Id > might not be very relevant there.
Yes, I agree that Message-Id is not that relevant if you're taking a patch from someone else and then reposting it. But it's a relatively rare case when >1 people are collaborating on revisions of a series. Paolo
