mirror of https://github.com/crytic/slither
Merge pull request #1771 from crytic/fix-required-deps
correct web3 to be required, not dev deppull/1772/head
commit
d43580a1ce
Loading…
Reference in new issue