v1.2

There are very few changes on this branch, but I'm not going to initiate it just yet. It should be a very trivial merge to do -- `master` is actually way ahead of `v1.2` right now.