[PPL-devel] [Fwd: [Bug 463742] Update version of ppl to 0.10pre27]