Processed: cgl
Processing commands for control@bugs.debian.org:
> retitle 645080 ITA: coinor-cgl -- Cut Generator Library, a library
Bug #645080 [wnpp] O: coinor-cgl -- Cut Generator Library, a library
Changed Bug title to 'ITA: coinor-cgl -- Cut Generator Library, a library' from 'O: coinor-cgl -- Cut Generator Library, a library'
> owner 645080 !
Bug #645080 [wnpp] ITA: coinor-cgl -- Cut Generator Library, a library
Owner recorded as Miles Lubin <miles.lubin@gmail.com>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
645080: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=645080
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: