Hi,
Thank you for your patch!  It has been merged to LibreOffice.
If you are interested in details, please visit
    https://gerrit.libreoffice.org/2515
-- 
To view, visit https://gerrit.libreoffice.org/2515
To unsubscribe, visit https://gerrit.libreoffice.org/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If89452824776c2bd653ca0728cc7e6adf4050e4b
Gerrit-PatchSet: 2
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Luc Castermans <luc.castermans@gmail.com>
Gerrit-Reviewer: Joren De Cuyper <joren.libreoffice@telenet.be>
Gerrit-Reviewer: Michael Meeks <michael.meeks@suse.com>
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.