Merge pull request #140 from nakengelhardt/junit_jny
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 8 Apr 2022 13:26:48 +0000 (15:26 +0200)
committerGitHub <noreply@github.com>
Fri, 8 Apr 2022 13:26:48 +0000 (15:26 +0200)
junit: use write_jny instead of write_json


Trivial merge