Skip to content

Conversation

@jrainville
Copy link
Collaborator

No description provided.

@jrainville jrainville changed the title trim the contract name to have the warning correctly trim the contract name to have the warning correctly (patch) Jul 12, 2018
@iurimatias iurimatias merged commit a01e600 into 3_1_0 Jul 26, 2018
@iurimatias iurimatias deleted the bug_fix/warning-contract-path branch July 31, 2018 13:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants