On Fri, Apr 13, 2018 at 03:56:31PM +0200, Olivier Houchard wrote: > Ok, here is a patch that does exactly what you suggest. I'm not entirely > happy with it, but it'll do the job, as a stopgap. I want this crash > fixed :)
Great, now merged, thank you! If you don't mind, I changed the tag to BUG/MEDIUM since the bug is causing a crash. And if you mind it's too late :-) Willy
