Skip to content

Conversation

@t11230
Copy link
Contributor

@t11230 t11230 commented Aug 15, 2020

No description provided.

@inducer
Copy link
Owner

inducer commented Aug 15, 2020

Thanks for working on this! These changes LGTM as soon as the conflicts are resolved.

@inducer inducer merged commit 37c6500 into inducer:master Aug 16, 2020
@inducer
Copy link
Owner

inducer commented Aug 16, 2020

Thanks!

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.

2 participants