mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Merge-request: IJ-MR-191349 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> (cherry picked from commit 3b3bec86fc732114536a3331257a186d1665c05b) IJ-CR-192061 GitOrigin-RevId: f326fff5ab5de159e7dc9b24d6b14b9d634a8568