On Thu, Oct 18, 2018 at 11:31:25AM +0200, Pavel Machek wrote:> We want readable sources, not neat ascii art everywhere.And we want pink ponies.Reverse xmas tree order is and has been the usual variable sorting inthe tip tree for years.-- Regards/Gruss, Boris.Good mailing practices for 400: avoid top-posting and trim the reply.