mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
Follow-up: 9172e753ec6e1dffca73aa9bf4608400f1ea3c9a (cherry picked from commit f9ccd55fb66a81e76320475764948120e399e82d) IJ-CR-178458 GitOrigin-RevId: 154e20e7564f51d9e404c31ea3fabb6d180855d8