Merge pull request #4 from einhander/master
authorAndrea-Paz <50440321+Andrea-Paz@users.noreply.github.com>
Tue, 7 Jan 2020 08:10:30 +0000 (09:10 +0100)
committerGitHub <noreply@github.com>
Tue, 7 Jan 2020 08:10:30 +0000 (09:10 +0100)
merge einhander master


Trivial merge