mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
Follow-up: a32f415e4732699f6fd062a3b8bf902e99dccf13 (cherry picked from commit 69249b47ec79e297290980c15f0d0fae928feaf6) IJ-CR-149656 GitOrigin-RevId: 63229dd650f7941e9abbfad402f0ec4542d89784