Skip to content

Conversation

mike-hunhoff
Copy link
Collaborator

see original concerned expressed here.

@mike-hunhoff mike-hunhoff requested a review from a team February 20, 2025 19:42
@williballenthin
Copy link
Collaborator

@jorik-utwente fyi

@mike-hunhoff mike-hunhoff merged commit 8c62595 into master Feb 20, 2025
3 checks passed
@mike-hunhoff mike-hunhoff deleted the fix/persist/reg/run branch February 20, 2025 21:02
@jorik-utwente
Copy link
Contributor

Very nice work!

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.

4 participants