Skip to content

Conversation

@shinrich
Copy link
Member

Noticed while writing the tests for PR #6483. Originally had the fix there, but @maskit suggested pulled out the obvious error into a separate PR from the original, involved PR, which seemed quite reasonable.

@shinrich shinrich added the TLS label Mar 10, 2020
@shinrich shinrich added this to the 10.0.0 milestone Mar 10, 2020
@shinrich shinrich requested a review from maskit March 10, 2020 13:42
@shinrich shinrich self-assigned this Mar 10, 2020
@shinrich
Copy link
Member Author

Turns out this fix was really intrinsic to the original PR. Closing.

@shinrich shinrich closed this Mar 10, 2020
@zwoop zwoop removed this from the 10.0.0 milestone Mar 10, 2020
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.

2 participants