search

eclipse-platform / eclipse.platform.resources

Eclipse Public License 2.0
3 stars 18 forks source link

ContentDescriptionManager.FlushJob could be improved (Fixes #119) #122

Closed iloveeclipse closed 2 years ago

iloveeclipse commented 2 years ago

Fixes https://github.com/eclipse-platform/eclipse.platform.resources/issues/119

eclipse-releng-bot commented 2 years ago

The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-122/1/

eclipse-releng-bot commented 2 years ago

The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-122/2/