Merge pull request #3551 from jmarrero/release-20257
authorColin Walters <walters@verbum.org>
Tue, 11 Nov 2025 22:46:06 +0000 (17:46 -0500)
committerGitHub <noreply@github.com>
Tue, 11 Nov 2025 22:46:06 +0000 (17:46 -0500)
Release 2025.7


Trivial merge