Closes #503 (closed)
Pipeline #6405 passed
Pipeline passed for 1a02fb03 on 503-change-shape-of-mouse-cursor 6 years ago
Merge details
Pipeline #6406 passed
Pipeline passed for 56d88420 on devel_12.1.x 6 years ago
merged
mentioned in commit 56d88420