Patch pushed, see https://cgit.freedesktop.org/libreoffice/core/commit/?id=930ec0e6ab7bd5492fb4cf4a8f6860e3b728929d -- Sent from: http://document-foundation-mail-archive.969070.n3.nabble.com/Dev-f1639786.html