Skip to content

Conversation

jhdxr
Copy link
Member

@jhdxr jhdxr commented Sep 25, 2017

fix #75222.

I guess this is caused by a small mistake when @derickr did the manually meging (584db6f)

Copy link
Member

@derickr derickr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me!

@krakjoe krakjoe added the Bug label Sep 27, 2017
@krakjoe
Copy link
Member

krakjoe commented Sep 27, 2017

Merged 7deb561

Thanks.

@krakjoe krakjoe closed this Sep 27, 2017
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.

3 participants