Closed thomashoneyman closed 1 year ago
Did we just forget about this PR?
Yes, it just never got approved. I think it's still the correct thing to do.
Cool, let's get this through - does it make sense to rebase it now or best to wait until all the other things are settled?
@f-f Want to give this another look?
This PR adds two verification checks we've long planned but never implemented: