Merge pull request #663 from aman-goel/master
authorClifford Wolf <clifford@clifford.at>
Wed, 17 Oct 2018 10:18:57 +0000 (12:18 +0200)
committerGitHub <noreply@github.com>
Wed, 17 Oct 2018 10:18:57 +0000 (12:18 +0200)
Update to .smv backend


Trivial merge