Skip to content

Use is or is not to compare with None#7

Open
MartinThoma wants to merge 1 commit into
bregmanstudio:masterfrom
MartinThoma:master
Open

Use is or is not to compare with None#7
MartinThoma wants to merge 1 commit into
bregmanstudio:masterfrom
MartinThoma:master

Conversation

@MartinThoma
Copy link
Copy Markdown
Contributor

@rcythr
Copy link
Copy Markdown

rcythr commented Sep 10, 2017

The proposed fix is correct. This PR should be merged.

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