diff --git a/docs/pull-requests/OPENPETS_3_1_0_FIXES_PULL_REQUESTS.md b/docs/pull-requests/OPENPETS_3_1_0_FIXES_PULL_REQUESTS.md
index 1e83d0ea..2214f534 100644
--- a/docs/pull-requests/OPENPETS_3_1_0_FIXES_PULL_REQUESTS.md
+++ b/docs/pull-requests/OPENPETS_3_1_0_FIXES_PULL_REQUESTS.md
@@ -101,6 +101,6 @@ Target branch for each PR: a base that already includes `03ae162` (e.g. `v3.1.0-
 - Merging all six branches produces the current `v3.1.0-integrated` tip.
 - Forgejo is updated with `v3.1.0-integrated`, `fix/prompt-window-signed-build`, `fix/scale-handle-and-keyboard`, and `refactor/virtual-pet-context-menu`.
 - Signed Windows installer built on `DESKTOP-KS3VGHU` and copied to `C:\Users\Anthracite Ace\Downloads`:
-  - `OpenPets-3.1.0-win-x64-setup.exe` (158,513,748 bytes)
-  - `SHA256SUMS`: `FEDAB689C48DBB4692FC21AA2B229337143206F375E1A5D94A4C06FAB164338C  OpenPets-3.1.0-win-x64-setup.exe`
+  - `OpenPets-3.1.0-win-x64-setup.exe` (158,513,379 bytes)
+  - `SHA256SUMS`: `AAA7A36283872F2B516ACE22833834274677FC0E26D1585976884950BB3D86B8  OpenPets-3.1.0-win-x64-setup.exe`
 - GitHub push is still blocked because no GitHub token is available in this session.