Skip to content

Refine support for JGit 7.4.0.202509020913-r#755

Merged
vjovanov merged 1 commit into
oracle:masterfrom
sdeleuze:jgit7-refinement
Nov 13, 2025
Merged

Refine support for JGit 7.4.0.202509020913-r#755
vjovanov merged 1 commit into
oracle:masterfrom
sdeleuze:jgit7-refinement

Commits

Commits on Nov 13, 2025