Skip to content

Conversation

antoinerg
Copy link
Contributor

@antoinerg antoinerg commented Oct 18, 2018

Fixes #3121

See issue for details!

@antoinerg antoinerg self-assigned this Oct 18, 2018
@antoinerg antoinerg added bug something broken status: reviewable labels Oct 18, 2018
@alexcjohnson
Copy link
Collaborator

Super, thanks! 💃

@antoinerg antoinerg merged commit 3f95f04 into master Oct 18, 2018
@antoinerg antoinerg deleted the 3121-fix-diff-config branch October 18, 2018 02:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug something broken
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants