`maint` has been force-pushed to correct a mistake

master was accidentally merged into maint yesterday and pushed upstream, so we’ve had to force-push an earlier version to maint to correct it.

No work has been lost and all merged pull requests are still there, but you will need to reset your local copy of the maint branch. We’re sorry for the inconvenience.