I can confirm that Christopher's patch, https://salsa.debian.org/debian/debmirror/-/merge_requests/15, fixes the original problem.
John
I can confirm that Christopher's patch, https://salsa.debian.org/debian/debmirror/-/merge_requests/15, fixes the original problem.
John