Switching to 1.12-dev