Merge branch 'master' into 'develop' (!154) · Merge requests · R3 / school / courses · GitLab

Snippets Groups Projects

Merged Laurent Heirendt requested to merge develop into master 2 years ago

Mar 07, 2023
- Merge branch 'master' into 'develop' · 80a4c3a4
  Laurent Heirendt authored 2 years ago
  
  merge back master to develop See merge request !153
  80a4c3a4