Processed: gcc: submitted Debian report #229642 to gcc-gnats as PR 13928

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

Processing commands for control@bugs.debian.org:

> # submitted Debian report #229642 to gcc-gnats as PR 13928
> # http://gcc.gnu.org/PR13928
> forwarded 229642 http://gcc.gnu.org/PR13928
Bug#229642: libstdc++5-3.3-doc: no whatis info in some manpages
Noted your statement that Bug has been forwarded to http://gcc.gnu.org/PR13928.

> retitle 229642 [PR 13928] no whatis info in some man pages generated by doxygen
Bug#229642: libstdc++5-3.3-doc: no whatis info in some manpages
Changed Bug title.

> tags 229642 + upstream
Bug#229642: [PR 13928] no whatis info in some man pages generated by doxygen
There were no tags set.
Tags added: upstream

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)