mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Process DummyThread instance Merge-request: IJ-MR-162366 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> (cherry picked from commit 46d8b9cca3e61495ef4231c0c9d05492d6f20984) IJ-MR-162366 GitOrigin-RevId: a66071b5186f4fb77aa26993b4f27b28e46ba98a