Skip to content

Conversation

karknu
Copy link
Contributor

@karknu karknu commented Mar 26, 2020

Issue

  • This PR results/does not result in breaking changes to upstream dependencies.

Checklist

  • This PR contains all the work required to resolve the linked issue.

  • The work contained has sufficient documentation to describe what it does and how to do it.

  • The work has sufficient tests and/or testing.

  • I have committed clear and descriptive commits. Be considerate as somebody else will have to read these.

  • I have added the appropriate labels to this PR.

@karknu
Copy link
Contributor Author

karknu commented Mar 26, 2020

bors r+

@mrBliss
Copy link
Contributor

mrBliss commented Mar 26, 2020

I noticed yesterday in #712 (comment) too. It must be that -Werror is not enabled on CI. That should really be fixed.

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Mar 26, 2020

@iohk-bors iohk-bors bot merged commit d24a5ce into master Mar 26, 2020
@iohk-bors iohk-bors bot deleted the karknu/sdu branch March 26, 2020 07:46
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.

3 participants