Started 1 yr 1 mo ago
Took 4.4 sec on default-agent-8wwg2

Success Build #23 (Oct 28, 2019 8:01:24 PM)

Changes
  1. Fix for https://bugs.eclipse.org/bugs/show_bug.cgi?id=552394 (details)