Skip to content
This repository has been archived by the owner. It is now read-only.

Ticket27918 arg types #267

Closed
wants to merge 2 commits into from
Closed

Conversation

Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant
@juga0
Copy link
Contributor

@juga0 juga0 commented Oct 6, 2018

No description provided.

@juga0
Copy link
Contributor Author

@juga0 juga0 commented Oct 8, 2018

Fixed by #264

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.