mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
Merge-request: IJ-MR-171625 Merged-by: Morgan Bartholomew <morgan.bartholomew@jetbrains.com> (cherry picked from commit 5bd3401e4a98fc615694dacb1d7fe7a1ddb68d3e) IJ-MR-171625 GitOrigin-RevId: e18ed0b36044c659eae1d73fd29e5ec28425ad18