Version bump 0.5.12