-
Samuel Lelièvre authored
Links to https, a few typos, slight reformatting.
Due to an important security release, the GitLab platform will be unavailable Today, Wednesday 08.05. from 23:00 until midnight (Berlin time).
Links to https, a few typos, slight reformatting.