Processed: retitle 947706 to www.debian.org: Updating Debian ports web pages
"Debian Bug Tracking System" <[email protected]>
| Newsgroups | gmane.linux.debian.devel.www |
|---|---|
| Message-ID | <[email protected]> |
Processing commands for [email protected]: > 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 [email protected] with problems