Skip to content

Conversation

koperagen
Copy link
Collaborator

No description provided.

@koperagen koperagen requested a review from zaleslaw July 21, 2023 10:33
Copy link
Collaborator

@zaleslaw zaleslaw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice PR, it was tiny and helped me to understand some things during the process useful for another task!

@koperagen koperagen merged commit 5488a34 into master Jul 21, 2023
@zaleslaw zaleslaw added this to the 0.12.0 milestone Oct 9, 2023
@koperagen koperagen deleted the marker-compilation branch August 26, 2024 13:48
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