Skip to content
This repository was archived by the owner on Jan 13, 2024. It is now read-only.

Conversation

@xadupre
Copy link
Collaborator

@xadupre xadupre commented Dec 8, 2021

No description provided.

@xadupre xadupre added this to the 1.11 milestone Dec 8, 2021
@xadupre xadupre merged commit 717fe20 into master Dec 8, 2021
@sdpython sdpython deleted the dot branch March 14, 2022 21:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants