On Thu, Aug 16, 2018 at 12:40:42PM +0200, Laurenz Albe wrote: > I don't think it is super important, but +1 for consistency.
I agree on both points. Any objections if I apply what's proposed here on HEAD? -- Michael
signature.asc
Description: PGP signature
