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 hereon HEAD?--Michael