Today is the "go-live" date for the mpl release candidate. There are
no more open issues tagged release_critical, so I suggest we branch
this afternoon. This will give people a last chance to merge in
remaining pull requests.
This pull request fixes a test failure:
Should I just merge it myself, or does someone still want to review it?