This server will be unavailable due to maintenance on March 19, 2025 between 20:00 and 22:00 (Central European Time). We are sorry for the inconvenience. During this period, neither Git nor the GitLab web interface will be available, so please make sure you plan accordingly.
0dc1c6b2b8d27a9d8f11b4bf889a88cf6e1da5a2
17 commits (r.t.groot@student.utwente.nl)