--- debmirror.pl.orig	Thu Feb 28 17:15:02 2002
+++ debmirror.pl	Fri May  3 13:28:13 2002
@@ -312,6 +312,10 @@
 			$files{"dists/$dist/Contents-$arch.gz"}=0;
 		}
 	}
+        ftp_get("dists/$dist/Release");
+        ftp_get("dists/$dist/Release.gpg");
+        $files{"dists/$dist/Release"}=0;
+        $files{"dists/$dist/Release.gpg"}=0;
 }
 foreach (@extra_dirs) {
 	get_packages($_);
@@ -448,7 +452,7 @@
 	else {
 		ftp_get("$subdir/Packages.gz") and
 			push @package_files, "$subdir/Packages.gz";
-		$ftp->get("$subdir/Release"); # optional
+		ftp_get("$subdir/Release"); # optional
 	}
 	$files{"$subdir/Packages.gz"}=0;
 	$files{"$subdir/Release"}=0;