Merge branch 'release/1.2.11' into develop
[DSI Releaser] prepare for next development iteration
Increased Modal's z-index, so that the IST Bar doesn't cover them
Fixed compile errors.
Bumped version for release of 1.2.12
Merge branch 'release/1.2.12'