Pre-release v10.0.25.dev2
This tag has no release notes.