Google Git
Sign in
eclipse / gerrit / platform / eclipse.platform.debug / 72f672fe7e6becae36c083ab3f9162f47476b128
commit72f672fe7e6becae36c083ab3f9162f47476b128[log] [tgz]
authorPaul Pazderski <paul-eclipse@ppazderski.de>Sun Apr 28 16:48:35 2019 +0200
committerPaul Pazderski <paul-eclipse@ppazderski.de>Sun Apr 28 16:48:55 2019 +0200
treead64fe1307f7c68bc67c4579dcb67a4e15422331
parent33e75e385ad0cf1f967ae7cf69c8b5cfd4adc257 [diff]
Bug 546710 - [console] Unsynchronized lazy initialization in
ConsoleManager

Change-Id: I58e441a03f73e6d1bab73408147bd17c1141d0ff
Signed-off-by: Paul Pazderski <paul-eclipse@ppazderski.de>
1 file changed
tree: ad64fe1307f7c68bc67c4579dcb67a4e15422331
  1. org.eclipse.core.externaltools/
  2. org.eclipse.core.variables/
  3. org.eclipse.debug.core/
  4. org.eclipse.debug.examples.core/
  5. org.eclipse.debug.examples.memory/
  6. org.eclipse.debug.examples.mixedmode/
  7. org.eclipse.debug.examples.ui/
  8. org.eclipse.debug.tests/
  9. org.eclipse.debug.ui/
  10. org.eclipse.ui.console/
  11. org.eclipse.ui.externaltools/
  12. .gitignore
  13. CONTRIBUTING
  14. LICENSE
  15. NOTICE
  16. pom.xml