I think you can ignore this by now. It might be a server problem as other services were having problems too.
Aleix On Wed, Jan 16, 2013 at 9:30 AM, GNU bug Tracking System <[email protected]> wrote: > Thank you for filing a new bug report with debbugs.gnu.org. > > This is an automatically generated reply to let you know your message > has been received. > > Your message is being forwarded to the package maintainers and other > interested parties for their attention; they will reply in due course. > > Your message has been sent to the package maintainer(s): > [email protected] > > If you wish to submit further information on this problem, please > send it to [email protected]. > > Please do not send mail to [email protected] unless you wish > to report a problem with the Bug-tracking system. > > -- > 13463: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13463 > GNU Bug Tracking System > Contact [email protected] with problems
