Merge branch 'develop' into refactor/cli

pull/1033/head
Nathan 6 years ago committed by GitHub
commit e4a6a4ce9e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      mythril/__version__.py

@ -4,4 +4,4 @@ This file is suitable for sourcing inside POSIX shell, e.g. bash as well
as for importing into Python.
"""
__version__ = "v0.21.2"
__version__ = "v0.21.3"

Loading…
Cancel
Save