Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

is/isnt implemented #28

Closed
wants to merge 1 commit into
from

Conversation

Projects
None yet
4 participants

dvv commented Jan 14, 2012

Please, consider applying

Contributor

eloff commented Jan 5, 2014

This has been open two years, I think this PR can be closed.

Contributor

RyanSquared commented Jan 7, 2016

@leafo Reason this is still open, four years later?

@leafo leafo closed this Jan 7, 2016

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