Merge branch 'develop' into bounded_loops

pull/1060/head
Bernhard Mueller 6 years ago
commit 4f79ca75ee
  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.20.7" # NOQA
VERSION = "v0.20.8" # NOQA

Loading…
Cancel
Save