tree 3196146a64de37ea5f2fcb61b5895f67b202eecd
parent f06dd28d96b0bf7a54aeba5d21c66b9963cc84e0
author david_williams <david_williams> 1163498120 +0000
committer david_williams <david_williams> 1163498120 +0000

[163391] ResourceSetWorkbenchEditSynchronizer unloads resources prematurely in headless mode