Skip to content

remove unused parameter for required rule#224

Merged
willemwollebrants merged 3 commits into
masterfrom
issue223
Oct 30, 2017
Merged

remove unused parameter for required rule#224
willemwollebrants merged 3 commits into
masterfrom
issue223

Conversation

@willemwollebrants

Copy link
Copy Markdown
Collaborator

Fixes #223

@willemwollebrants willemwollebrants merged commit 87775d7 into master Oct 30, 2017
@willemwollebrants willemwollebrants deleted the issue223 branch December 2, 2017 20:25
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.

1 participant