mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
* explicitly show in UI when some dump items weren't collected * fix duplicated platform threads (in case of any timeouts/errors) * fix data-race during waiting for evaluatable context GitOrigin-RevId: e8f75a53a67bba331dd0e713ec3857bb1604dd29