[PUSHED] execute move of global headers

[Björn Michaelsen (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/3465


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

Gerrit-MessageType: merged
Gerrit-Change-Id: I199a75bc4042af20817265d5ef85b1134a96ff5a
Gerrit-PatchSet: 3
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Björn Michaelsen <bjoern.michaelsen at canonical.com>
Gerrit-Reviewer: LibreOffice gerrit bot <gerrit at libreoffice.org>