Processing commands for cont...@bugs.debian.org:
> severity 600032 normal
Bug #600032 {Done: Mehdi Dogguy <me...@dogguy.org>} [release.debian.org]
unblock: cloog-ppl 0.15.9-2
Severity set to 'normal' from 'serious'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
600032: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=600032
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
