Skip to content

Conversation

darind
Copy link
Collaborator

@darind darind commented May 10, 2018

Related to #739

@darind darind force-pushed the darind/instanceof-operator branch from 3f2d0e7 to 788d0fe Compare May 10, 2018 13:12
@darind darind force-pushed the darind/instanceof-operator branch from 788d0fe to d91a2d1 Compare May 10, 2018 13:24
@vtrifonov vtrifonov merged commit 0329c36 into master May 10, 2018
@vtrifonov vtrifonov deleted the darind/instanceof-operator branch May 10, 2018 15:15
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.

2 participants