Processed: retitle 947706 to www.debian.org: Updating Debian ports web pages
Processing commands for control@bugs.debian.org:
> retitle 947706 www.debian.org: Updating Debian ports web pages
Bug #947706 [www.debian.org] www.debian.org: Updating Debian portages web page
Changed Bug title to 'www.debian.org: Updating Debian ports web pages' from 'www.debian.org: Updating Debian portages web page'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
947706: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=947706
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: