git: update to v2.25.1

Update to git version v2.25.1.

No changes required.
2 files changed