tree 3c1b9788b2a89d4fc98ad2348af7c577b082404e
parent 77457fdf4e0cf5c32ef0d135be7cb1c6ad8b43e6
author david_williams <david_williams> 1163497342 +0000
committer david_williams <david_williams> 1163497342 +0000

[163391] ResourceSetWorkbenchEditSynchronizer unloads resources prematurely in headless mode