mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Merge-request: IJ-MR-176967 Merged-by: Azad Abdulov <azad.abdulov@jetbrains.com> (cherry picked from commit dc0954be77c549cb9951d624c00d3b543f0039e0) (cherry picked from commit f3b1ac73c526f63d547939581d3cc2c4e5b99d14) IJ-MR-178622 GitOrigin-RevId: 8fdbafcb78cf37a28c0b2b211d9c5af493f272e7