Merge pull request #168 from SiriDB/imap
authorJeroen van der Heijden <jeroen@transceptor.technology>
Tue, 16 Feb 2021 12:03:21 +0000 (12:03 +0000)
committerGitHub <noreply@github.com>
Tue, 16 Feb 2021 12:03:21 +0000 (12:03 +0000)
Improved mapping type


Trivial merge