Hi, Thank you for your patch! It has been merged to LibreOffice.
If you are interested in details, please visit https://gerrit.libreoffice.org/2476 -- To view, visit https://gerrit.libreoffice.org/2476 To unsubscribe, visit https://gerrit.libreoffice.org/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0f04a779de4b65326ed7ce6de56191f11b51c596 Gerrit-PatchSet: 4 Gerrit-Project: core Gerrit-Branch: master Gerrit-Owner: Eric Seynaeve <git...@nosperse.com> Gerrit-Reviewer: Markus Mohrhard <markus.mohrh...@googlemail.com> _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice