On Sat, 16 Jul 2016, Robert Storey wrote:

>    should I report it here:
>    [1]https://git.devuan.org/devuan/slim/issues

yes! that's the place where we hope everyone here will note down the
results of conversations on bugs. The mailinglist is not really good
for archiving those. and the task of archiving should be distributed

also please note you don't need any knowledge of Git to file issues.

thanks!!