On 5/19/26 12:47, Ilmari Lauhakangas wrote:
This issue was brought up earlier on a list and now I made a change to
adapt to these situations: https://git.libreoffice.org/infra/
libreofficeorg/commit/0c186039bfea6bbd922c0b86211858ffb743f8bc
Neil noticed this didn't actually work in production, so I fixed it with
a tiny tweak:
https://git.libreoffice.org/infra/libreofficeorg/+/9d6243f4e0255e6e8e9fbc7277a3bae265f1cabd%5E%21
Ilmari
--
To unsubscribe e-mail to: [email protected]
Problems? https://www.libreoffice.org/get-help/mailing-lists/how-to-unsubscribe/
Posting guidelines + more: https://wiki.documentfoundation.org/Netiquette
List archive: https://listarchives.libreoffice.org/global/website/
Privacy Policy: https://www.documentfoundation.org/privacy
