Move to 3.1.2.

All major bugs from 3.1.1 I believe to be resolved. There are still
enhancements for this cycle, but I want to provide a release for easier
testing.