Processed: Re: Bug#658825: www.debian.org: Provide *single* page HTML manuals in http://www.debian.org/doc/devel-manuals

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 658825 developers-reference
Bug #658825 [www.debian.org] www.debian.org: Provide *single* page HTML manuals in http://www.debian.org/doc/devel-manuals
Bug reassigned from package 'www.debian.org' to 'developers-reference'.
> retitle  658825 Provide *single* page HTML manuals in http://www.debian.org/doc/*
Bug #658825 [developers-reference] www.debian.org: Provide *single* page HTML manuals in http://www.debian.org/doc/devel-manuals
Changed Bug title to 'Provide *single* page HTML manuals in http://www.debian.org/doc/*' from 'www.debian.org: Provide *single* page HTML manuals in http://www.debian.org/doc/devel-manuals'
> thanks
Stopping processing here.

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