On Wed, 04 Jul 2018 at 00:14:25 +0100, Simon McVittie wrote: > Having fixed that, I get a different FTBFS This is https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902961