Master (!7) · Merge requests · AAI / SWITCHwayf · GitLab

🚀 This server has been upgraded to GitLab release 17.7. 🚀

The source project of this merge request has been removed.

Guillaume Rousse requested to merge (removed):master into master Jul 03, 2018

additional cosmetics and minor issues fixes