mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 18:05:27 +07:00
Merge-request: IJ-CR-171783 (cherry picked from commit 73a3365cf569e515603847162b9de85616829e4e) GitOrigin-RevId: ba9d11678209acf4c53f45081ba8d0ca0474aae7