Mentions légales du service

GitLab upgrade completed. Current version is 18.9.6
https://docs.gitlab.com/releases/18/gitlab-18-9-released/

Tags

Tags give the ability to mark specific points in history as being important

20201012

c99ba6a4 · Add a license: field in sek.opam. · May 26, 2021
```
Release 20201012.
```
20200618

c225a118 · Comment. · Jun 18, 2020
```
Release 20200618.
```
20200403

3336aa29 · CHANGES. · Apr 03, 2020
```
Release 20200403.
```
specialisation

8a2019a5 · Annotate Sek with [@specialise]. · Apr 03, 2020
inlining

c4c9e2fb · Annotate PersistentSequence with [@inline]. · Apr 03, 2020
baseline

2cc9ec93 · Let [make] build the library in release mode. · Apr 02, 2020
START

8a567fe9 · Fix a word in the header. · Mar 11, 2020
```
Taking over from Vocal.
```