Started 2 yr 1 mo ago
Took 17 min

Success Build #278 (Apr 9, 2019, 12:23:20 PM)

Changes
  1. Adapt to removed API (details)

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

Revision: 48cc96a86b240ef3e28f24b0c907c1b79e0ef2f6
  • origin/master