Merge branch 'develop' into fix/memory

pull/1133/head
Bernhard Mueller 5 years ago committed by GitHub
commit 4024e18fb6
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.6"
__version__ = "v0.21.7"

Loading…
Cancel
Save