Skip to content

Conversation

@mkantor
Copy link
Owner

@mkantor mkantor commented May 15, 2025

I did this while debugging something, and while it ultimately didn't end up being necessary to fix the issue I was looking at, it still seems nice to mainline.

@mkantor mkantor merged commit 884904b into main May 16, 2025
1 check passed
@mkantor mkantor deleted the serializable-runtime-context branch May 16, 2025 18:23
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