Processed: retitle gcc report
Processing commands for control@bugs.debian.org:
> retitle 217360 [PR12867, fixed in 3.5] incorrect warning message (void format, should be void* format)
Bug#217360: [PR 12867] incorrect warning message (void format, should be void* format)
Changed Bug title.
> tags 217360 + fixed-upstream
Bug#217360: [PR12867, fixed in 3.5] incorrect warning message (void format, should be void* format)
Tags were: upstream
Tags added: fixed-upstream
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: