mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 08:51:02 +07:00
Merge-request: IJ-MR-166574 Merged-by: Evgenii Zakharchenko <evgenii.zakharchenko@jetbrains.com> (cherry picked from commit a98ce9e78b0d8b478d3ba8b778d9caf2416340c5) IJ-CR-168157 GitOrigin-RevId: 6f2b9f632a316ac2f3b4f99ba95a1210455aa6c5