Skip to content

Conversation

@deitch
Copy link
Contributor

@deitch deitch commented Jul 7, 2023

With #2318 in (hooray!), we now can remove the unused packages.txt

@deitch deitch requested a review from a team as a code owner July 7, 2023 10:37
@deitch deitch requested review from imjasonh and jdolitsky July 7, 2023 10:37
@deitch deitch closed this Jul 7, 2023
@deitch deitch force-pushed the remove-unused-packages-txt branch from 3df3ba3 to 31c3ddc Compare July 7, 2023 13:17
@deitch deitch deleted the remove-unused-packages-txt branch July 7, 2023 13:18
@deitch deitch restored the remove-unused-packages-txt branch July 7, 2023 13:19
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.

1 participant