<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">That should be fixed as of an hour ago with</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><a href="https://cgit.freedesktop.org/libreoffice/core/commit/?id=64140e0e7f8a151f298568c9173364efca636a46">https://cgit.freedesktop.org/libreoffice/core/commit/?id=64140e0e7f8a151f298568c9173364efca636a46</a><br></div></div>