Hi, Thank you for your patch! It has been merged to LibreOffice.
If you are interested in details, please visit https://gerrit.libreoffice.org/2185 -- To view, visit https://gerrit.libreoffice.org/2185 To unsubscribe, visit https://gerrit.libreoffice.org/settings Gerrit-MessageType: merged Gerrit-Change-Id: I5c065c5c341561258800a124b0fc1f40b3d59211 Gerrit-PatchSet: 5 Gerrit-Project: core Gerrit-Branch: master Gerrit-Owner: Björn Michaelsen <bjoern.michael...@canonical.com> Gerrit-Reviewer: David Tardon <dtar...@redhat.com> Gerrit-Reviewer: LibreOffice gerrit bot <ger...@libreoffice.org> Gerrit-Reviewer: Mathias M <m...@gmx.fr> _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice