FAQ | This is a LIVE service | Changelog

GitLab will be updated on 4-June-2026 between 12:00 and 14:00. There may be small periods of service instability.

Tags

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

v1.6

2df7c980 · Update gitlab and config · Jun 21, 2022
```
Version 1.6
```
v1.5

d3370570 · Fix CircleCI (#73) · Mar 17, 2021
```
Version 1.5
```
v1.4

fb49eb2f · Changed version number in configurator.py · Feb 08, 2019
```
Version 1.4
```
v1.3

bbec47f5 · version 1.3 · Aug 28, 2018
```
version 1.3
```
v1.2

ea9a55a2 · Merge branch 'release_1.2' · Jan 18, 2018
```
version 1.2
```
v1.1.1

a18d8fbb · Merge branch 'he/lua-5.3' · Jan 26, 2017
v1.1

1d3a51b9 · Version 1.1 · Sep 30, 2016
```
Version 1.1
```
v1.0

0aac31c3 · Bump version number to 1.0 · Apr 08, 2016
v0.99

bbdc2e33 · Merge branch 'bug_fix/disable_backtrace' · Mar 17, 2016
v0.9

f4f647a6 · Merge branch 'he/license' · Apr 21, 2015