Skip to content

Conversation

@jsumners-nr
Copy link
Contributor

As titled.

Copy link
Member

@timfish timfish left a comment

Choose a reason for hiding this comment

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

Looks good.

Might be worth dumping code before and after so it's easier to diff the changes!

@jsumners-nr
Copy link
Contributor Author

Might be worth dumping code before and after so it's easier to diff the changes!

I'll leave that as an exercise for someone else. I just want to be able to see what the outcome of our patching looks like.

@jsumners-nr jsumners-nr merged commit 3912e19 into main Sep 18, 2025
6 checks passed
@jsumners-nr jsumners-nr deleted the dump-code branch September 18, 2025 16:07
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