[PUSHED] Polishing 7d1f4cdec307bb1e761bb5dd3d8231bba5833e10

[Fridrich Strba (via Code Review)]

Hi,

Thank you for your patch!  It has been merged to LibreOffice.

If you are interested in details, please visit

    https://gerrit.libreoffice.org/2676

Approvals:
  Fridrich Strba: Verified; Looks good to me, approved


-- 
To view, visit https://gerrit.libreoffice.org/2676
To unsubscribe, visit https://gerrit.libreoffice.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I73334fca8429dc0ad4250ce638027fa52245dec4
Gerrit-PatchSet: 4
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Christina Roßmanith <ChrRossmanith at web.de>
Gerrit-Reviewer: Fridrich Strba <fridrich at documentfoundation.org>
Gerrit-Reviewer: Stephan Bergmann <sbergman at redhat.com>