mirror of https://github.com/ConsenSys/mythril
Merge pull request #530 from ConsenSys/information-informational
Severity type "Information" -> "Informational" to match the otherspull/522/merge
commit
7b4fe769c8
Loading…
Reference in new issue