On Mon, Apr 6, 2020, 04:08 Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote: > > can you please merge what you did (and work in master in future unless > there's a really *really* compelling and critical reason for doing > so)? > So, just merge despite the commit mess? Jacob