On 3/12/08, Kevin DeKorte <kdekorte at gmail.com> wrote: > > Any reason why PP Racer has been removed from rawhide? It appears to have been replaced by extremetuxracer. Jeff