[debbugs-tracker] Processed: Re: bug#7917: [PATCH] cc-mode: not all templates are types

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> found 7917 24.5
Bug #7917 [emacs,cc-mode] [PATCH] cc-mode: not all templates are types
bug Marked as found in versions 24.5.
> severity 7917 minor
Bug #7917 [emacs,cc-mode] [PATCH] cc-mode: not all templates are types
Severity set to 'minor' from 'normal'

> tags 7917 fixed
Bug #7917 [emacs,cc-mode] [PATCH] cc-mode: not all templates are types
Added tag(s) fixed.
> close 7917 25.1
bug#7917: [PATCH] cc-mode: not all templates are types
bug marked as fixed in version 25.1, send any further explanations to
address@hidden and Daniel Colascione <address@hidden>

> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/