On Sunday, October 6, 2019, Vladimir Sitnikov <[email protected]>
wrote:

> >Which is why I merged few PRs
>
> It is fine to merge harmless PRs.
>
> However JUnit migration is huge, and it does require review.


I did review it.

> There are non-trivial changes included.
>
> So I still suggest we revert JUnit.


Do as you feel

>
> Vladimir
>

Reply via email to