[Reportbug-maint] Processed: [reportbug/master] support "Debian Ports" in apt policy info section; thanks to Aurelien Jarno for the report and patch; Closes: #638357

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tag 638357 pending
Bug #638357 [reportbug] reportbug: please support Debian Ports
Added tag(s) pending.
> tag 638357 pending
Bug #638357 [reportbug] reportbug: please support Debian Ports
Ignoring request to alter tags of bug #638357 to the same tags previously set
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
638357: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=638357
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems