Does it FTBFS on debian? If it only fails on ubuntu then it definitely is not a serious bug for us.
Downgrading to normal for now, until there is evidence that this also occurs on debian. -Ralf -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
