Skip to content
This repository was archived by the owner on Feb 23, 2025. It is now read-only.

Fix minor typo in comment #430

Merged
merged 2 commits into from
Jul 8, 2024
Merged

Conversation

jozefizso
Copy link
Contributor

No description provided.

@brockallen
Copy link
Contributor

Thanks!

@josephdecock josephdecock merged commit 00f7010 into DuendeArchive:main Jul 8, 2024
3 checks passed
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.

3 participants