Hi,
Thank you for your patch! :-)  It has been merged to LibreOffice.
If you are interested in details, please visit
    https://gerrit.libreoffice.org/1159
--
To view, visit https://gerrit.libreoffice.org/1159
To unsubscribe, visit https://gerrit.libreoffice.org/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I24cddb00a78e3b798e7d88764e59e6a77a6e98a4
Gerrit-PatchSet: 3
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Miklos Vajna <vmiklos@suse.cz>
Gerrit-Reviewer: Michael Stahl <mstahl@redhat.com>
Gerrit-Reviewer: Miklos Vajna <vmiklos@suse.cz>
Context
   
 
  Privacy Policy |
  
Impressum (Legal Info) |
  
Copyright information: Unless otherwise specified, all text and images
  on this website are licensed under the
  
Creative Commons Attribution-Share Alike 3.0 License.
  This does not include the source code of LibreOffice, which is
  licensed under the Mozilla Public License (
MPLv2).
  "LibreOffice" and "The Document Foundation" are
  registered trademarks of their corresponding registered owners or are
  in actual use as trademarks in one or more countries. Their respective
  logos and icons are also subject to international copyright laws. Use
  thereof is explained in our 
trademark policy.