commit | c6417c1fb697dc2a7723896749eedb8648414dd9 | [log] [tgz] |
---|---|---|
author | Nick Boldt <nboldt@redhat.com> | Tue Mar 06 11:26:19 2018 -0500 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Tue Mar 06 11:26:19 2018 -0500 |
tree | c59d75e23fe0853cf73333f4ea986ac3eda70051 | |
parent | 50c592cce40e2a2465ea3594a48bbca088ff10c6 [diff] | |
parent | 4db94def07685e4d08b643360ca3c3b2424a45ad [diff] |
Merge "Bug 531557: Change Platform.getJobManager() to Job.getJobManager()"