Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[platform-ui-dev] Maintenance build submission for 20081212-0800

The map file has been updated for the following Bug changes:
+ Bug 249527. [Preferences] Cannot perform scrolling via keyboard in
preference dialog (FIXED)
+ Bug 256839. [Workbench] Workbench.shutdown() doesn't complete due to
exception (FIXED)

The following projects have changed:

Back to the top