If you can't duplicate it, and you can't get in touch with the original submitter, I think it's reasonable to close it. Guy -- TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to debian-devel-request@lists.debian.org . Trouble? e-mail to templin@bucknell.edu .