Skip to content
This repository has been archived by the owner on Aug 24, 2024. It is now read-only.

Fix for versions after 2022.1 #123

Merged
merged 1 commit into from
May 8, 2024
Merged

Fix for versions after 2022.1 #123

merged 1 commit into from
May 8, 2024

Conversation

uurha
Copy link
Contributor

@uurha uurha commented May 8, 2024

No description provided.

@uurha uurha merged commit 4c6e376 into main May 8, 2024
@uurha uurha deleted the bug/2022_definition branch May 8, 2024 19:58
github-actions bot pushed a commit that referenced this pull request May 8, 2024
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 this pull request may close these issues.

1 participant