Skip to content
This repository has been archived by the owner on Dec 15, 2023. It is now read-only.

Adaptation to 0.12.2 #522

Closed
mikiw opened this issue Aug 28, 2023 · 0 comments · Fixed by #521
Closed

Adaptation to 0.12.2 #522

mikiw opened this issue Aug 28, 2023 · 0 comments · Fixed by #521
Assignees

Comments

@mikiw
Copy link
Contributor

mikiw commented Aug 28, 2023

No description provided.

@mikiw mikiw self-assigned this Aug 28, 2023
@mikiw mikiw linked a pull request Aug 28, 2023 that will close this issue
@FabijanC FabijanC self-assigned this Aug 28, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants