forcemerge 838288 873505
thanks

On Wed, August 30, 2017 00:58, Pete Donnell wrote:
> Apologies, turns out that this is a duplicate of
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=838288
>
> Applying the patch included there fixed it.

Thanks for the extra confirmation.

I've uploaded a fixed version to unstable, when that yields no problems
I'll prepare a stable update.


Cheers,
Thijs

Reply via email to