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