Tags

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

13.2-1

6e0e22d9 · version 13.2-1 · Jan 01, 2026
```
tag update
```
12.5-4

8ab522b5 · new version 12.5-4 · May 26, 2024
```
tag update
```
11.6-4

588b2d8d · version 11.6-4 · Mar 19, 2023
```
tag update
```
11.6-3

ff371b85 · version 11.6-3 · Feb 25, 2023
```
tag update
```