Re: [wlug] Ah, The Joys Of Debian Unstable ...

On Fri, 13 Oct 2017 13:12:13 +1300, I wrote:

Presumably this will be sorted out in time for my next upgrade ...

And indeed the problem has gone as of today.