Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Fix #283 #284

Merged
merged 3 commits into from Nov 26, 2019
Merged

Fix #283 #284

merged 3 commits into from Nov 26, 2019

Conversation

CreepySkeleton
Copy link
Collaborator

@CreepySkeleton CreepySkeleton commented Nov 26, 2019

Closes #283

@CreepySkeleton CreepySkeleton changed the title WIP: Fix #283 Fix #283 Nov 26, 2019
@CreepySkeleton CreepySkeleton merged commit fbe6a55 into master Nov 26, 2019
@CreepySkeleton CreepySkeleton deleted the fix_283 branch November 26, 2019 17:15
@TeXitoi
Copy link
Owner

TeXitoi commented Nov 26, 2019

Better to not merge himself without a review ;-)

@CreepySkeleton
Copy link
Collaborator Author

CreepySkeleton commented Nov 26, 2019

Well, this was a small straightforward change, covered by a test, so I decided not to bother you. I would certainly wait for your approval otherwise. Do you require to ask for your approval every time? (I'm OK with that, I just meant to take some of the load off your shoulders)

@TeXitoi
Copy link
Owner

TeXitoi commented Nov 26, 2019

I think that's always better to have an external view. Same for me. We can say that if we don't have feedback within a day and that you don't need feedback, we can merge ourself?

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.

version = expr ignored, and incorrectly uses env!(CARGO_PKG_VERSION)
2 participants