Skip to content

Conversation

cclauss
Copy link
Member

@cclauss cclauss commented Jul 18, 2019

Reverts #1039

@cclauss
Copy link
Member Author

cclauss commented Jul 18, 2019

Sorry @brunohadlich. I somehow messed up the merging of this one and I had to revert. My mistake,

@cclauss cclauss closed this Jul 19, 2019
@cclauss cclauss deleted the revert-1039-master branch July 19, 2019 08:39
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.

1 participant