On Wed, Feb 05, 2020 at 11:51:52PM +0000, Mark Hindley wrote:
> Control: tags -1 moreinfo
>
> Simon,
>
> Thanks for this.
>
> I assume this is Devuan jessie, not Debian jessie?

Apologies, I see Debian jessie in the title now.

I will try to reproduce again.

Mark