On Wed, Feb 26, 2020 at 01:23:24AM +0100, Tim Düsterhus wrote: > Daniel, > > I already told you in IRC, but as I now have an email to reply to: This > new email format is much better than the old one.
FWIW I agree, it's more synthetic and still seems to contain all the relevant information. Thanks for these changes! Willy

