Processed: ITA splint

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> retitle 424719 ITA splint -- A tool for statically checking C programs for bugs
Bug#424719: O: splint -- A tool for statically checking C programs for bugs
Changed Bug title to ITA splint -- A tool for statically checking C programs for bugs from O: splint -- A tool for statically checking C programs for bugs.

> owner 424719 !
Bug#424719: ITA splint -- A tool for statically checking C programs for bugs
Owner recorded as "Qingning Huo" <qhuo@mayhq.co.uk>.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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