[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.
[7.1.0] 2018-07-30 ------------------ Added ~~~~~ - getter/setter for for user offset - dedicated tool to set user-offset