Skip to content

Conversation

eruvanos
Copy link
Member

No description provided.

@eruvanos eruvanos marked this pull request as ready for review July 25, 2024 21:45
@pushfoo pushfoo merged commit 605f56f into development Jul 26, 2024
@pushfoo
Copy link
Member

pushfoo commented Jul 26, 2024

This needs follow-up on typing if possible before 3.0.

@einarf einarf deleted the gui/docs_to_gstyle branch July 28, 2024 12:32
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