Skip to content

Add edits from review of #31#32

Merged
ewdurbin merged 1 commit into
vstinner:mainfrom
di:edits-from-31
May 24, 2022
Merged

Add edits from review of #31#32
ewdurbin merged 1 commit into
vstinner:mainfrom
di:edits-from-31

Conversation

@di
Copy link
Copy Markdown
Contributor

@di di commented May 24, 2022

@ewdurbin ewdurbin merged commit 5a86ba2 into vstinner:main May 24, 2022
@ewdurbin ewdurbin deleted the edits-from-31 branch May 24, 2022 17:21
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