Processing commands for [email protected]: > retitle 1098370 ITA: coinutils -- COIN-OR collection of utility classes Bug #1098370 [wnpp] O: coinutils -- COIN-OR collection of utility classes (developer files) Changed Bug title to 'ITA: coinutils -- COIN-OR collection of utility classes' from 'O: coinutils -- COIN-OR collection of utility classes (developer files)'. > owner 1098370 ! Bug #1098370 [wnpp] ITA: coinutils -- COIN-OR collection of utility classes Owner recorded as Pierre Gruet <[email protected]>. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1098370: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1098370 Debian Bug Tracking System Contact [email protected] with problems
