Merge pull request #72 from realraum/membership-update
authorPatrick Pichler <pichler.patrick.pp@gmail.com>
Tue, 15 Dec 2020 21:14:52 +0000 (22:14 +0100)
committerGitHub <noreply@github.com>
Tue, 15 Dec 2020 21:14:52 +0000 (22:14 +0100)
Membership update


Trivial merge