Update to v0.12 on Developertinger