mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
Follow-up: 07b0153a68d0cbfa88881530ca7a88d31767dcb2 (cherry picked from commit f9ce6ab80251767e71a7ef7a59e21edf56b607f2) IJ-CR-158884 GitOrigin-RevId: df630bf6dd76ec8849124d2a53828bb705184467