You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since it got merged a fortnight ago, I think it's best to wait for it to get used and tested in practice instead of stabilising it right now. It's possible the devs find a better approach for this problem.
I am not very familiar with the stabilization process but I don't know of anything holding back
feature(int_error_matching)
.The pull request can be found here
The text was updated successfully, but these errors were encountered: