Skip to content

Conversation

@cclauss
Copy link
Member

@cclauss cclauss commented Jul 18, 2019

A second attempt at #994

@cclauss cclauss force-pushed the unused-imports branch 2 times, most recently from c3d2c70 to cb8fe36 Compare July 18, 2019 21:05
@cclauss cclauss added the awaiting reviews This PR is ready to be reviewed label Jul 18, 2019
@cclauss cclauss requested review from AnshulMalik and gabru-md and removed request for gabru-md July 21, 2019 09:23
Copy link
Member

@AnshulMalik AnshulMalik left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yay, nice work!

@AnshulMalik AnshulMalik merged commit 3c8e931 into master Jul 25, 2019
@cclauss cclauss deleted the unused-imports branch July 25, 2019 08:55
stokhos pushed a commit to stokhos/Python that referenced this pull request Jan 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

awaiting reviews This PR is ready to be reviewed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants