Regular merge of develop (!80) · Merge requests · R3 / school / courses · GitLab

GitLab is undergoing maintenance

You are on a read-only GitLab instance.

Laurent Heirendt requested to merge develop into master Jul 02, 2020

fix #7 (closed)