On Tue, Oct 24, 2017 at 5:22 PM, Jonathan Dowland wrote: > However, I cannot find your mail to debian-private in *my* archives. I > have not checked the official archives, perhaps there's a problem with > my mail set up. My archives do have the mail. -- bye, pabs https://wiki.debian.org/PaulWise