]> source.dussan.org Git - jgit.git/commit
NoteMapMerger: remove unnecessary cast 54/1200654/2
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 16 Sep 2024 06:30:39 +0000 (08:30 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 1 Oct 2024 19:20:31 +0000 (21:20 +0200)
commit17882b1cd8e66a174468633b1b8eb695c86011cf
tree9f7fa81e7e026cb344de38f747752e8b964f02c9
parent36fa55a4cf14f35eeb04cbea23d678f7a34b5a70
NoteMapMerger: remove unnecessary cast

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