mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
Merge-request: IJ-MR-148931 Merged-by: Victor Turansky <victor.turansky@jetbrains.com> (cherry picked from commit 8011960cf942f31f7e54e14996eb5ec2e7891903) IJ-CR-149295 GitOrigin-RevId: 5b4c3d6ac3de142bda82ec41adf79e7a23a2cb66