2018-10-13 14:35 GMT+02:00, Paul B Mahol <onemda at gmail.com>: > On 10/12/18, Paul B Mahol <onemda at gmail.com> wrote: >> Fixes #6821. >> > > Will comitt with this above sentence removed. Why did you remove it? Carl Eugen