Skip to content

Conversation

@c4539
Copy link

@c4539 c4539 commented Aug 10, 2017

Not sure whether this is a good way to solve it, however, what do you think?

Fixes: #3457

@mention-bot
Copy link

@c4539, thanks for your PR! By analyzing the history of the files in this pull request, we identified @nickvergessen, @rullzer and @schiessle to be potential reviewers.

@MorrisJobke
Copy link
Member

@nickvergessen
Copy link
Member

I fixed this correctly in #6099

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants