]> source.dussan.org Git - jgit.git/commit
NoteMapMerger: remove unnecessary cast 45/1202345/1
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 16 Sep 2024 06:30:39 +0000 (08:30 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 9 Oct 2024 22:11:09 +0000 (00:11 +0200)
commit9e1cd8aece4fbba301edb1eddbd0e7d36d3bb40c
tree3bcd73e15d46b78b8e0af0ef8035481298278841
parent1cd87ab79065b78a0774f20f1bfd522747c37c15
NoteMapMerger: remove unnecessary cast

Change-Id: I3be4963f506529bbadc5b6dfc0b625ee85effc1f
org.eclipse.jgit/src/org/eclipse/jgit/notes/NoteMapMerger.java