Started 1 mo 14 days ago
Took 9 min 10 sec

Failed Build #1022 (Dec 5, 2019 10:34:47 AM)

Changes
  1. [WIP] Add support for external diff and merge tools in EGit (detail)

Triggered by Gerrit: https://git.eclipse.org/r/140280

Revision: 947fbb5a5392700ba438a44eaec89e1f44db4f68
  • refs/changes/80/140280/5