Processing commands for control@bugs.debian.org:
> severity 600032 normal
Bug #600032 {Done: Mehdi Dogguy <mehdi@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 owner@bugs.debian.org with problems