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