>Which is why I merged few PRs

It is fine to merge harmless PRs.

However JUnit migration is huge, and it does require review.
There are non-trivial changes included.

So I still suggest we revert JUnit.

Vladimir

Reply via email to