GitLab

This file is dynamically generated by configure based on the platform,
it doesn't belong in the distribution archive.

Fixes #6929.