Skip to content

Comments

PEP 728: Address additional feedback#4383

Merged
JelleZijlstra merged 1 commit intopython:mainfrom
PIG208:revised
Apr 22, 2025
Merged

PEP 728: Address additional feedback#4383
JelleZijlstra merged 1 commit intopython:mainfrom
PIG208:revised

Conversation

@PIG208
Copy link
Contributor

@PIG208 PIG208 commented Apr 22, 2025

@PIG208 PIG208 requested a review from JelleZijlstra as a code owner April 22, 2025 22:19
@erictraut
Copy link
Contributor

Thanks for the update. Looks good to me.

@JelleZijlstra JelleZijlstra merged commit 424872d into python:main Apr 22, 2025
6 checks passed
@PIG208 PIG208 deleted the revised branch April 23, 2025 00:54
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.

3 participants