Skip to content

Conversation

aentinger
Copy link
Contributor

This fixes #43.

@aentinger aentinger merged commit 07b6352 into main Sep 13, 2023
@aentinger aentinger deleted the fix-43 branch September 13, 2023 12:42
@per1234 per1234 added type: imperfection Perceived defect in any part of project topic: documentation Related to documentation for the project labels Sep 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: documentation Related to documentation for the project type: imperfection Perceived defect in any part of project
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Documentation issue - README.md points to wrong repository
2 participants