On 04-02-19 22:14, Gary E. Miller via devel wrote: > Stupid typo. My fault. Thanks to Achimm for bisecting it. Fix pushed. > > Thank you for your report. Sorry for the trouble. Thank you for the -quick- fix! Kind regards, Udo