* Helge Kreutzmann <deb...@helgefjell.de> [180808 18:57]: > On Tue, Aug 07, 2018 at 08:20:23PM +0100, Simon McVittie wrote: > > Andreas already asked for a merge request, so it seems that proposing a > > patch would indeed be welcome. > > I'll do, incorporating your excellent explaination. I'll do so until > the end of the week (latest).
Gentle reminder about this. Thanks, Chris