Skip to content

Remove unnecessary dependency from deps_info.py. NFC#19166

Merged
sbc100 merged 1 commit intomainfrom
remove_dep
Apr 13, 2023
Merged

Remove unnecessary dependency from deps_info.py. NFC#19166
sbc100 merged 1 commit intomainfrom
remove_dep

Conversation

@sbc100
Copy link
Copy Markdown
Collaborator

@sbc100 sbc100 commented Apr 13, 2023

This was recently introduced in #16627 but when to a different deps system in #18905 I noticed it is not necessary.

This was recently introduced in #16627 but when to a different deps
system in #18905 I noticed it is not necessary.
@sbc100 sbc100 requested review from RReverser and kripken April 13, 2023 05:52
@sbc100 sbc100 merged commit 5394838 into main Apr 13, 2023
@sbc100 sbc100 deleted the remove_dep branch April 13, 2023 16:34
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