Processing commands for cont...@bugs.debian.org:

> retitle 576142 RFP: klee -- symbolic virtual machine built on top of LLVM
Bug #576142 [wnpp] ITP: klee -- symbolic virtual machine built on top of LLVM
Changed Bug title to 'RFP: klee -- symbolic virtual machine built on top of 
LLVM' from 'ITP: klee -- symbolic virtual machine built on top of LLVM'.
> noowner 576142
Bug #576142 [wnpp] RFP: klee -- symbolic virtual machine built on top of LLVM
Removed annotation that Bug was owned by Michael Tautschnig <m...@debian.org>.
> stop
Stopping processing here.

Please contact me if you need assistance.
-- 
576142: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=576142
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Reply via email to