Our build infrastructure glitches sometimes. I see that it has auto-restarted and your change is now verified.
_______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/libreoffice