On Sat, Feb 09, 2019 at 02:05:05PM +0100, Axel Svensson wrote: > On Fri, Jan 25, 2019 at 9:14 AM <[email protected]> wrote: > > I think it is ok and we should merge it. Evil_Bob, what do you think? > > I noticed that the version was just bumped without merging this. > Forgotten or rejected? >
Rejected -- Kind regards, Hiltjo
