Processed: retitle 480183 to packages.debian.org: highlight of results is always case sensitive
Processing commands for control@bugs.debian.org:
> retitle 480183 packages.debian.org: highlight of results is always case sensitive
Bug#480183: pdo buglet
Changed Bug title to `packages.debian.org: highlight of results is always case sensitive' from `pdo buglet'.
>
End of message, stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: