Release v10.0.25 master
This tag has no release notes.