Processed: Re: Bug#425152: jetty: New upstream 6.1.3

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> retitle 425152 jetty: New upstream 6.1.5
Bug#425152: jetty: New upstream 6.1.3
Changed Bug title to `jetty: New upstream 6.1.5' from `jetty: New upstream 6.1.3'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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