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