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