On Sat, 10 Nov 2018 00:30:13 +0100, Arnt wrote in message
<20181110003013.7da03e07@d44>:

> On Fri, 9 Nov 2018 17:48:05 +0100, info wrote in message
> <e253896d-1f04-1dc9-3401-dbb0320c9994@???>:
> >
> > Sounds like a bug, file a bugreport. If intentionally it will get a
> > 'Will not fix' and you know.
> >
> > Grtz
> >
> > Nick
> >
> >
>
> ..done.

...to submit@???_B_I_an.org , of all places:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=913365
because
https://bugs.devuan.org//cgi/bugreport.cgi?bug=256

--
..med vennlig hilsen = with Kind Regards from Arnt Karlsen
...with a number of polar bear hunters in his ancestry...
Scenarios always come in sets of three:
best case, worst case, and just in case.