]> source.dussan.org Git - jgit.git/commitdiff
Merge changes I343cc3cf,I9dedf61b
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 1 Feb 2023 21:52:37 +0000 (16:52 -0500)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Wed, 1 Feb 2023 21:52:37 +0000 (16:52 -0500)
* changes:
  Avoid error-prone warning
  Fix unused exception error-prone warning


Trivial merge