mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
Don't take implicit write intent lock on EDT if we run with explicitly unlocked write intent lock. GitOrigin-RevId: 22aa98119828276c269bf4621b1cf9a0f9376d2e