On 06/01/20 05:28, Kartik Ohri wrote:
>> That should eliminate any need for doing fancy stuff with those messages
>> in the CI configuration. Any new issues that crop up in development later
>> ought to produce a smaller volume of messages that we want to know about.
>>
> So we do not need a custom log filter now, right ?
Right. And it's probably ok to include -Xcheck:jni in all configurations
(once PRs #275 and #276 are merged, of course).
Regards,
-Chap