mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-02 00:57:59 +07:00
to avoid ambiguous conditions (cherry picked from commit f11c08f8dfea453a6676173bae57f96233429970) IJ-MR-159379 GitOrigin-RevId: b700b1e5e7c077da7b61661d33c2a3aa135d9e21