Merge branch 'develop' into 'master' (!45) · Merge requests · GeCoS / gecos-core · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 18.3.6
https://about.gitlab.com/releases/2025/07/17/gitlab-18-2-released/
https://about.gitlab.com/releases/2025/08/21/gitlab-18-3-released/

Fix incompatibility in type comparison

See merge request !44 (merged)

Edited Jan 28, 2020 by YUKI Tomofumi