Okay. I found a copy of it, and supplied it there. If it's not a bug, please close this. Thank you!
John -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
