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.
8ba1d9e8f906daefef202bd28da26764af77b629
3 commits (r.t.groot@student.utwente.nl)