On Friday, 1st August 9am, we will update GitLab to a new major version. A short downtime of GitLab itself or some of its services will be necessary.
master
to develop
changed target branch from master
to develop
unmarked as a Work In Progress
merged
mentioned in commit 97f786c0