Started 10 mo ago
Took 1 min 41 sec

Success Build #76 (Sep 27, 2018 3:18:56 PM)

Changes
  1. Bug 537809 - Generated ResourceManager uses deprecated API (detail)

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

Revision: 53115ab2b6ec6fb3bb1c9228321fae614a774702
  • refs/changes/99/130099/2