Added user setting tooltip
Fixes #156 (closed)
Merge request reports
Activity
mentioned in issue #156 (closed)
mentioned in commit 29ced0c0
Please register or sign in to reply
Fixes #156 (closed)
Merge details
Closed #156 (closed)
mentioned in issue #156 (closed)
merged