Merge branch 'develop' into 'master'
Compare changes
There are no changes yet
No changes between develop and master
GitLab upgrade completed. Current version is 17.11.3.
Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.
Fix incompatibility in type comparison
See merge request !44 (merged)
No changes between develop and master