Upgrading to GitLab 12.0.2.

Tagging debian version 0.9.12-3.
This tag has no release notes.