Merge pull request #387 from purdeaandrei/patch-1
authorMichel Pollet <github.com@pollet.net>
Thu, 3 Jun 2021 08:10:34 +0000 (09:10 +0100)
committerGitHub <noreply@github.com>
Thu, 3 Jun 2021 08:10:34 +0000 (09:10 +0100)
Fix error message


Trivial merge