Subject: Re: bug#16175: 24.3.50; debbugs-gnu-search fails with "Server response is not an XML document"

From: Michael Albinus <[email-masked]>
Date: Tue, 07 Jan 2014 14:12:50 +0100

For the records, I have reported this to Debian BTS as <http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=734470>.

Best regards, Michael.