Skip to content

Conversation

GDJose
Copy link
Collaborator

@GDJose GDJose commented Oct 24, 2023

The URL linked in the library properties is wrong

@pennam pennam merged commit 209217a into main Oct 24, 2023
@per1234 per1234 added type: imperfection Perceived defect in any part of project topic: documentation Related to documentation for the project labels Oct 25, 2023
@aentinger aentinger deleted the URL_fixing branch November 7, 2023 10:30
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.

3 participants