[PPL-devel] [Fwd: Bug#516419: ppl_0.10-3(mips/unstable):]