GitLab version bump to 13.4.0

As usual, finished with an explicit merge. We don't want to rebase such a topic, but it's worthwile to make a detached CI pipeline do the final validation.

Closes #362 (closed)

Merge request reports

Loading