GitLab has been updated. More info on the new features here.

Tags

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

v4.3

730de358 · Merge branch 'master' into 'master' · Jan 23, 2017
```
Version 4.3, last tag before CLASS Version 2
```
v4.2

e5d552f5 · replace dev to 4.2 in version number to prepare tag creation · May 11, 2016
```
Version 4.2
```
v4.1

29cb43bc · remove fossile · Apr 22, 2016