Processed: Re: Reopening reports with "external" owners
Processing commands for control@bugs.debian.org:
> retitle 85535 [fixed in 3.4: PR optimization/3508]: builtin memcmp() could be optimised
Bug#85535: [fixed in gcc-3.1, PR optimization/3508]: builtin memcmp() could be optimised
Changed Bug title.
> retitle 95318 [fixed in 3.4: PR optimization/2962] unnecessary cwtl
Bug#95318: [fixed on 3.3/HEAD: PR optimization/2962] unnecessary cwtl
Changed Bug title.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: