Hi Ulric, Could this be the same bug as https://bugs.mysql.com/bug.php?id=79185?
In any case, this looks like an issue that should be reported and fixed upstream. If you could provide a way to reproduce the bug, that would be very much appreciated.
Regards, Norvald H. Ryeng
