Skip to content

fix: uninstall cleanup - #2346

Merged
YannickJadoul merged 1 commit into
pybind:masterfrom
henryiii:fix/uninstall
Jul 31, 2020
Merged

fix: uninstall cleanup#2346
YannickJadoul merged 1 commit into
pybind:masterfrom
henryiii:fix/uninstall

Conversation

@henryiii

Copy link
Copy Markdown
Collaborator

A couple of things from #2265 I didn't notice.

@bstaleticbstaletic left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

This one is small and very straightforward.

@YannickJadoul
YannickJadoul merged commit b804724 into pybind:masterJul 31, 2020
@henryiii
henryiii deleted the fix/uninstall branch July 31, 2020 11:35
@rwgkrwgk mentioned this pull request Feb 10, 2023
Sign up for freeto 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.

3 participants

@henryiii@bstaletic@YannickJadoul