Sorry for taking this, I realized what's this task about only after digging in. As your PR is merged, patch could be removed. I'm not sure how to test this properly, it compiles locally on my system but I've not tried to make full jar and align it with Teku.
Sorry for taking this, I realized what's this task about only after digging in. As your PR is merged, patch could be removed. I'm not sure how to test this properly, it compiles locally on my system but I've not tried to make full jar and align it with Teku.