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