Closed e00E closed 1 year ago
I tested this with a custom fuzz setup that isn't part of the PR. The existing fuzz setup is kind of outdated and broken but I don't want to touch it in this PR.
This all looks fine. I can merge it unless you think there's something else to do.
Ready to merge from my side.
I tested this with a custom fuzz setup that isn't part of the PR. The existing fuzz setup is kind of outdated and broken but I don't want to touch it in this PR.