[7.1.0] 2018-07-30
------------------
Added
~~~~~
- getter/setter for for user offset
- dedicated tool to set user-offset
This tag has no release notes.