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)
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)