Merge branch 'newusers' of ssh://server/scm/spider into newusers
authorDirk Koopman <djk@tobit.co.uk>
Fri, 15 May 2020 15:58:36 +0000 (16:58 +0100)
committerDirk Koopman <djk@tobit.co.uk>
Fri, 15 May 2020 15:58:36 +0000 (16:58 +0100)

Trivial merge