Skip to content

Conversation

@ghost
Copy link

@ghost ghost commented Apr 6, 2018

This fixes issue #1286.

@bagerard
Copy link
Collaborator

bagerard commented Sep 3, 2018

@erdenezul I think we should close this one. There is the PR #1810 that contains the same fix but it is slightly better

@erdenezul
Copy link
Collaborator

@bagerard I suggest we leave open those two PRs as open until one of them is merged?

@bagerard
Copy link
Collaborator

bagerard commented Sep 4, 2018

Alright, other PR got merged, let's close this one :)

@erdenezul erdenezul closed this Sep 5, 2018
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