[PUSHED] binfilter.die.die.die

[Tor Lillqvist (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/1014

Approvals:
  Tor Lillqvist: Verified; Looks good to me, approved


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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ia3c103e4343d309b997ed37e33a382ffdfbddac3
Gerrit-PatchSet: 1
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Norbert Thiebaud <nthiebaud at gmail.com>
Gerrit-Reviewer: Tor Lillqvist <tml at iki.fi>