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

[Sandro Tosi]

tag 638357 pending
tag 638357 pending
thanks

Date:   Thu Aug 18 22:16:28 2011 +0200
Author: Sandro Tosi <morph at debian.org>
Commit ID: 0f081057f5097da99b7acdae76e7a012df3fff06
Commit URL: http://git.debian.org/?p=reportbug/reportbug.git;a=commitdiff;h=0f081057f5097da99b7acdae76e7a012df3fff06
Patch URL: http://git.debian.org/?p=reportbug/reportbug.git;a=commitdiff_plain;h=0f081057f5097da99b7acdae76e7a012df3fff06

    support "Debian Ports" in apt policy info section; thanks to Aurelien Jarno for the report and patch; Closes: #638357