[PUSHED] remove GIT_REPO_NAMES (duplicated by GIT_NEEDED_SUBMODULES)

[Caolán McNamara (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/912

Approvals:
  Caolán McNamara: Verified; Looks good to me, approved


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

Gerrit-MessageType: merged
Gerrit-Change-Id: I37028badf2c46a24a3d628e80476efe4dd365d06
Gerrit-PatchSet: 2
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Christian Lohmaier <lohmaier+LibreOffice at googlemail.com>
Gerrit-Reviewer: Caolán McNamara <caolanm at redhat.com>
Gerrit-Reviewer: Peter Foley <jpfoley2 at gmail.com>