0.2.12: version bump