Skip to content

Remove more remnants of deepfreeze#118159

Merged
gvanrossum merged 1 commit intopython:mainfrom
gvanrossum:deepfreeze-cleanup
Apr 22, 2024
Merged

Remove more remnants of deepfreeze#118159
gvanrossum merged 1 commit intopython:mainfrom
gvanrossum:deepfreeze-cleanup

Conversation

@gvanrossum
Copy link
Member

Found some more stubs only used by deep-freezing.

Copy link
Contributor

@mdboom mdboom left a comment

Choose a reason for hiding this comment

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

LGTM.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants