Your message dated Mon, 13 Sep 2010 21:41:54 +0200
with message-id <[email protected]>
and subject line Re: Bug#528099: packages.debian.org: Please add avr32 arch
from debian-ports.
has caused the Debian Bug report #528099,
regarding packages.debian.org: Please add avr32 arch from debian-ports.
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
528099: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=528099
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: www.debian.org
Severity: wishlist
Hi,
The avr32 port has just moved to debian-ports.org, and it would be nice if
it's packages could start appearing on packages.debian.org. Thanks.
Regards,
Bradley Smith
--
Bradley Smith [email protected]
Debian GNU/Linux Developer [email protected]
GPG: 0xC718D347 D201 7274 2FE1 A92A C45C EFAB 8F70 629A C718 D347
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
On Sun, May 10, 2009 at 08:48:13PM +0100, Bradley Smith wrote:
> Package: www.debian.org
> Severity: wishlist
>
> The avr32 port has just moved to debian-ports.org, and it would be nice if
> it's packages could start appearing on packages.debian.org. Thanks.
Visible on http://packages.debian.org/sid/base-passwd
Actually done a while ago:
commit d2c37ad5a233f2026d3309905f6715ec672be45b
Commit: Frank Lichtenheld
CommitDate: Sun Jun 7 21:54:00 2009 +0200
Add AVR32 from debian-ports.org
Requested by Bradley Smith in Bug#528099
--
Simon Paillard
--- End Message ---
