** Patch added: "debian > ubuntu diff" https://bugs.edge.launchpad.net/ubuntu/+source/ppl/+bug/617710/+attachment/1489319/+files/ppl.diff
-- please merge ppl 0.10.2-7(main) from debian unstable(main) https://bugs.launchpad.net/bugs/617710 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
