Skip to content

Update authors for Required[] and NotRequired[] implementation#91506

Merged
JelleZijlstra merged 1 commit intopython:mainfrom
davidfstr:f/required_attribution
Apr 13, 2022
Merged

Update authors for Required[] and NotRequired[] implementation#91506
JelleZijlstra merged 1 commit intopython:mainfrom
davidfstr:f/required_attribution

Conversation

@davidfstr
Copy link
Copy Markdown
Contributor

Integrate feedback from @JelleZijlstra on recently merged PR #32419 (comment) .

@JelleZijlstra
Copy link
Copy Markdown
Member

Sorry for missing this!

@JelleZijlstra JelleZijlstra merged commit dfbc792 into python:main Apr 13, 2022
@davidfstr
Copy link
Copy Markdown
Contributor Author

Sorry for missing this!

No worries. Thanks for helping getting the implementation through! (I'm literally at the beach now, so it's nice to have help getting this change in before Beta.)

I'm looking forward to making some headway on related (Not)Required[] docs soon - probably next week if I can get Typing Summit stuff finished far enough.

@JelleZijlstra
Copy link
Copy Markdown
Member

I hope you have a great vacation!

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.

3 participants