Merge branch 'master' of https://gitlab.science.ru.nl/mlubbers/mc1516the
authorpimjager <pim@pimjager.nl>
Thu, 23 Jun 2016 08:11:55 +0000 (10:11 +0200)
committerpimjager <pim@pimjager.nl>
Thu, 23 Jun 2016 08:11:55 +0000 (10:11 +0200)

Trivial merge