mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
Merge-request: IJ-MR-151127 Merged-by: Vera Petrenkova <Vera.Petrenkova@jetbrains.com> (cherry picked from commit dbe25a3787fd283c2576bdb8ff4f8155a963d8f9) GitOrigin-RevId: faf82a86cb8040b1d48b9ba2c2f9907767314c86