[PUSHED] fdo#65199 mutible names for the same option.

[Miklos Vajna (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/4222

Approvals:
  Miklos Vajna: Verified; Looks good to me, approved


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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib17c323b5a9a2dba5e3d32d8a1a418167a7e7fe5
Gerrit-PatchSet: 4
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Thomas van der meulen <meulenthomas at gmail.com>
Gerrit-Reviewer: Miklos Vajna <vmiklos at suse.cz>