Closed jdonkervliet closed 4 years ago
In GitLab by @JimVliet on Jun 11, 2020, 13:13
Merges midterm-development -> 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.
In GitLab by @larsdetombe on Jun 11, 2020, 14:29
merged
mentioned in commit 2bfc43af89b0a79f33f6e02bf57fbfd181ff835e
In GitLab by @JimVliet on Jun 11, 2020, 13:13
Merges midterm-development -> 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.