Merge branch 'develop' into 'master'
Fix incompatibility in type comparison
See merge request !44 (merged)
Edited by YUKI Tomofumi
GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
Fix incompatibility in type comparison
See merge request !44 (merged)