Gitlab Update from 17.5.1 to 17.5.2 runs on 2024-11-21

Tags

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

v0.12

9e57d07c · Update README · Feb 05, 2020
```
Release v0.12
```
Unverified
v0.11

a9933520 · Update Isar revision · Jul 11, 2019
```
Release v0.11
```
Unverified
v0.10

3350c450 · Relicense to MIT · Sep 26, 2018
```
Release v0.10
```
Unverified
v0.9.1

239ca037 · jailhouse: Add support for upcoming pyjailhouse module · Jun 13, 2018
```
Release v0.9.1
```
Unverified