Hi Patrick, On Mon, Dec 24, 2018 at 10:02:17AM +0100, Patrick Valsecchi wrote: > Hi Jonathan, > > I've build the 1.8.16 image myself and the problem is indeed fixed. Any plan > of including that fix in a 1.9.1 release?
That's indeed planed, but as usual with any initial dot-zero release we've found a number of small issues that deserve being addressed so it's never the right moment to emit dot-one :-) I'll try to do one this week. Cheers, Willy

