mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
Fixes IDEA-268907 The keySet size is not flushed when the original map is updated GitOrigin-RevId: 092fe002a4143f705251464667c1c13df7f7aa94