tree c59d75e23fe0853cf73333f4ea986ac3eda70051
parent 50c592cce40e2a2465ea3594a48bbca088ff10c6
parent 4db94def07685e4d08b643360ca3c3b2424a45ad
author Nick Boldt <nboldt@redhat.com> 1520353579 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1520353579 -0500

Merge "Bug 531557: Change Platform.getJobManager() to Job.getJobManager()"