Closed jdonkervliet closed 4 years ago
In GitLab by @JimVliet on Jun 11, 2020, 13:13
Selecting a commit directly did not seem to work, so closing this one in favour of the MR that does use a branch.
In GitLab by @JimVliet on Jun 11, 2020, 13:13
closed
In GitLab by @JimVliet on Jun 11, 2020, 13:10
Merges 106771ac38ddbaa8b14240750c7938c5e30ac3b6 -> releases
We forgot to make a release on the releases branch after the midterm. So we are doing that now, with the code we had at the time of the midterm.