Bug#811825: Patch

Hi! > On 07/02/2016 10:37 AM, u wrote: >> Here's a debdiff which fixes this bug. >> I've tested building in a chroot using gcc-6. >> >> One might want to consider setting up a Git repository for this package :) > > Thanks! Actually, it did not build correctly, I was a bit too optimistic here. Th

Bug#811825: Patch

On 07/02/2016 10:37 AM, u wrote: > Here's a debdiff which fixes this bug. > I've tested building in a chroot using gcc-6. > > One might want to consider setting up a Git repository for this package :) Thanks! Indeed the best of all would be to upgrade to PPL 1.2. Cheers, Roberto -- Pr

Bug#811825: Patch

Hi, Here's a debdiff which fixes this bug. I've tested building in a chroot using gcc-6. One might want to consider setting up a Git repository for this package :) Cheers, u. diff -Nru ppl-1.1/debian/changelog ppl-1.1/debian/changelog --- ppl-1.1/debian/changelog 2015-12-11 22:07:13.0 +0