refs/heads/R3_4_1_maintenance_patches - platform/eclipse.platform.ui - Git at Google

commit: 48cd797f4765c9df21d37683f204d01e207e092e
[log]
author: Boris Bokowski <bbokowski>
Fri Dec 05 21:21:42 2008 +0000
committer: Boris Bokowski <bbokowski>
Fri Dec 05 21:21:42 2008 +0000
tree: 460da51accb7091c1bca55ffb5c0064bcaff4fa0
parent: 79079f21fa4b466c3cbb518bce4488bef14c93c4 [diff]

Fix for Bug 256839 [Workbench] Workbench.shutdown() doesn't complete due to exception

2 files changed

tree: 460da51accb7091c1bca55ffb5c0064bcaff4fa0