Skip to content

Conversation

@KDr2
Copy link
Member

@KDr2 KDr2 commented Jun 3, 2019

No description provided.

@yebai
Copy link
Member

yebai commented Jun 3, 2019

Nice improvements, many thanks @KDr2!

@yebai yebai merged commit 4aa1df3 into master Jun 3, 2019
@yebai yebai deleted the exc-info branch June 3, 2019 10:57
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