Merge remote-tracking branch 'origin/timn/mongodb-replicaset-init'
authorTim Niemueller <niemueller@kbsg.rwth-aachen.de>
Fri, 13 Apr 2018 17:15:48 +0000 (19:15 +0200)
committerTim Niemueller <niemueller@kbsg.rwth-aachen.de>
Fri, 13 Apr 2018 17:15:48 +0000 (19:15 +0200)

Trivial merge