Date: Wed, 16 Aug 95 09:19 EST From: Ian Murdock <imurdock@debian.org> Fixed. Sorry--I intended this to go to debian-bugs-done. :/