Merge pull request #2831 from Delja/contract_fix_error
authorJean Privat <jean@pryen.org>
Fri, 20 Nov 2020 15:57:56 +0000 (10:57 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Nov 2020 15:57:56 +0000 (10:57 -0500)
Contract: Fix null argument error


Trivial merge