Skip to content

Conversation

@tiennou
Copy link
Contributor

@tiennou tiennou commented Feb 23, 2019

We have a few warnings. Fix them.

@carlosmn
Copy link
Member

Eliminating our warnings is fine, but we're just hiding the ones from redcarpet, and that doesn't feel right if we're not planning on fixing this upstream concurrently.

@tiennou
Copy link
Contributor Author

tiennou commented Mar 2, 2019

Agreed. I've squashed out the commit, since you've found a fix for it.

@carlosmn carlosmn merged commit b22246b into libgit2:master Jun 12, 2019
@tiennou tiennou deleted the fix/warnings branch June 12, 2019 06:45
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