[PPL-devel] [Fwd: Updating ppl to 0.10preXX in Fedora?]