Merge branch '0.11.2' into develop
0.11.3: Apparently 0.11.2 was already released
Merge branch '0.11.3'