mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
Fixes IDEA-356432 'Convert to record class' could handle public fields more intelligent GitOrigin-RevId: c1c458275e808e3c95e2a24a9a8c1919ac25011b