missing email header

[Sam Kuper]

On Thu, Feb 18, 2021 at 07:46:47AM -0800, Brian Norris wrote:
> On Thu, Feb 18, 2021 at 1:57 AM David Woodhouse wrote:
>> On Wed, 2021-02-17 at 21:52 -0800, Brian Norris wrote:
>>> They've suggested the mailman admin apply a patch ;)
>>
>> I believe I did so yesterday.
> 
> [..] Awesome, thanks.

Thank you, David, for this.  (And for maintaining infradead generally!)

Best,

Sam

-- 
A: When it messes up the order in which people normally read text.
Q: When is top-posting a bad thing?

()  ASCII ribbon campaign. Please avoid HTML emails & proprietary
/\  file formats. (Why? See e.g. https://v.gd/jrmGbS ). Thank you.