Maybe that explains why the release merge failed...