Processed: ITP: ocaml-cil -- OCaml library for manipulating C programs
Processing commands for control@bugs.debian.org:
> retitle 615158 ITP: ocaml-cil -- OCaml library for manipulating C programs
Bug #615158 [wnpp] RFP: ocaml-cil -- OCaml library for manipulating C programs
Changed Bug title to 'ITP: ocaml-cil -- OCaml library for manipulating C programs' from 'RFP: ocaml-cil -- OCaml library for manipulating C programs'
> owner 615158 !
Bug #615158 [wnpp] ITP: ocaml-cil -- OCaml library for manipulating C programs
Owner recorded as Gabriel Kerneis <gabriel@kerneis.info>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
615158: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=615158
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: