Merge branch 'master' of gitlab.science.ru.nl:mlubbers/ssproject1617
authorMart Lubbers <mart@martlubbers.net>
Mon, 10 Oct 2016 12:22:51 +0000 (14:22 +0200)
committerMart Lubbers <mart@martlubbers.net>
Mon, 10 Oct 2016 12:22:51 +0000 (14:22 +0200)

Trivial merge