Skip to content

GitLab

Explore

Sign in

Tags

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

1.4

3343a01d · Merge branch... · Jun 09, 2023
```
Tagging dev-tools for 1.4
```
1.3

cccbd92b · Merge branch '12-add-a-script-to-refresh-manpage-version' into 'master' · Nov 23, 2018
```
Tagging test for 1.3
```