[2011-01-02 22:53:44 +1000] Allan McRae: > Move cloog-ppl headers to /usr/include/cloog-ppl and a cosmetic > rebuild of gcc with configure options for the new header location. signoff i686 -- Gaetan