Skip to content

Conversation

@JelleZijlstra
Copy link
Member

@AlexWaygood
Copy link
Member

Looks good:

image

@JelleZijlstra JelleZijlstra merged commit 7861a9e into main Apr 29, 2022
@JelleZijlstra JelleZijlstra deleted the JelleZijlstra-patch-1 branch April 29, 2022 22:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Documentation in the Doc dir skip issue skip news

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants