[PUSHED] restore --enable-symbols option

[Michael Meeks (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/975

Objections:
  Luboš Luňák: Do not submit


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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib8a28c6162f47526d6bb33f81f53835cd11894b2
Gerrit-PatchSet: 6
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: David Ostrovsky <David.Ostrovsky at gmx.de>
Gerrit-Reviewer: David Ostrovsky <David.Ostrovsky at gmx.de>
Gerrit-Reviewer: Luboš Luňák <l.lunak at suse.cz>
Gerrit-Reviewer: Michael Meeks <michael.meeks at suse.com>
Gerrit-Reviewer: Rene Engelhard <rene at debian.org>
Gerrit-Reviewer: Stephan Bergmann <sbergman at redhat.com>