Skip to content

Conversation

@yiannis-had
Copy link
Contributor

I havent compiled the code to make sure it looks correct but I think this should do it?

@rzach
Copy link
Member

rzach commented Aug 19, 2025

On vacation will check in 2 weeks

@yiannis-had yiannis-had changed the title Fix typo Fix typos Aug 21, 2025
@rzach rzach merged commit 80b357e into OpenLogicProject:master Sep 1, 2025
1 check passed
@rzach
Copy link
Member

rzach commented Sep 1, 2025

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants