Skip to content

[git] Fixed duplicated entries for git history on merge operations#7188

Merged
westbury merged 1 commit intoeclipse-theia:masterfrom federicobozzini:git-merge-double-entriesMar 10, 2020

Commits

Commits on Feb 25, 2020