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.