On Fri, Jul 20, 2018 at 10:43:13AM +0200, Christopher Faulet wrote: > Damn! I forgot to check that. We talked about it 30 min ago though!
OK finally I've merged it because it obviously fixes a bug and William wants to prepare another release which I think is a good idea. We can revisit this later if it's not enough anyway. Willy
