On 2020-11-11 11:54, Heikki Linnakangas wrote:> On 11/11/2020 11:12, Peter Eisentraut wrote:>> The attached patch cleans this up to make them all look like the first>> style.> > +1
done