![[Jenkins]](/xtext/static/79c0f259/images/svgs/logo.svg){kind=logo}
Summary
- fix ProgressReportingTest (details)
| The file was modified | org.eclipse.xtext.ui.tests/src-longrunning/org/eclipse/xtext/ui/tests/refactoring/ProgressReportingTest.java (diff) |
| The file was modified | org.eclipse.xtext.ui.tests/src-longrunning/org/eclipse/xtext/ui/tests/refactoring/ProgressReportingTest.java (diff) |