I encountered exactly the same problem. Happily the proposed fix worked for me too, although I tweaked it slightly to read:
if (m == None or m.group(3) != remote_filename): Cheers, Scott -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
