Skip to content
New issue

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

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Include .editorconfig in the contributing section #420

Merged
merged 1 commit into from
Sep 22, 2020

Conversation

jneira
Copy link
Member

@jneira jneira commented Sep 22, 2020

[skip ci]

@jneira jneira requested a review from alanz September 22, 2020 10:24
Copy link
Collaborator

@alanz alanz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good ide

@alanz alanz merged commit e8c02fe into master Sep 22, 2020
@jneira jneira deleted the jneira-readme-editorconfig branch September 29, 2020 06:30
pepeiborra pushed a commit that referenced this pull request Dec 27, 2020
Now that we have optimized Hashable instances for these, it makes
sense to use this consistently.
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants