Processed: retitle to RFS: yices2/2.5.3-1 [ITP]
Processing commands for control@bugs.debian.org:
> retitle 864839 RFS: yices2/2.5.3-1 [ITP]
Bug #864839 [sponsorship-requests] RFS: yices2/2.6.0-2 [ITP]
Changed Bug title to 'RFS: yices2/2.5.3-1 [ITP]' from 'RFS: yices2/2.6.0-2 [ITP]'.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
864839: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864839
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: