move back to 0.12.0, since this is unreleased