GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
requested review from @steff
assigned to @sgilles
Everything looks OK except the TOC (as you said).
Fixed the TOC; I merge before the session.
approved this merge request
merged
mentioned in commit b88c258d