Merge pull request #1938 from ethereum/fix_solidity_warning_tooltip
fix solidity warning in the editorpull/5370/head
commit
581517c5e3
Loading…
Reference in new issue