Merge develop into master (!10) · Merge requests · tapenade / userdoc

GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.

Laurent Hascoet requested to merge develop into master Jan 03, 2023

Admin message