Community
Participate
Working Groups
More a theoretical problem. It is unlikely to lose an important updates due to this bug. Progress updates are feed asynchronous to an singleton updater. While most methods are synchronized the short time between get pending updates and remove pending updates is not.
New Gerrit change created: https://git.eclipse.org/r/152498
Gerrit change https://git.eclipse.org/r/152498 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=2e8d1be9daf06e676d4e6cf98a77508a0dc97250