Apologies Mark, it was my intention to send to Debian, but was my first
time using reportbug and I thought I had seen logic that was going to
prompt me for which bug tracker to send to.
I've just resubmitted with an explicit --bts=debian and it has gone to
the right place this time.
https://bugs.debian.org/1102524
I assume this Devuan bug can now be closed/discarded?