Tags

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

v1.2.0

f8ee8213 · Prepare version 1.2.0 · Jun 06, 2018
```
Move from GitHub to GitLab
```
v1.1.2

3b85b9eb · Tune output buffer factor; various minor adjustments · Feb 09, 2017
v1.1.1

ebf745dd · Pedantic adjustments · Jul 25, 2015
v1.1.0

d2ce5716 · Fix warning and improve messages · Jan 17, 2015
v1.0.1

41f356c0 · - revert modifications to MaxDB library and sync with version 7.6.00.37 · Jun 24, 2012
v1.0.0

ed027294 · - add lost comment · Jun 24, 2012