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

John

Reply via email to