There are a few relatively important bugfixes with no API impact in the
master branch. We might as well release this as a non-breaking change.