mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 18:06:58 +07:00
it's already fixed somehow, so add a unit test for it and stop ignoring this intention in property test GitOrigin-RevId: 35302814007c960db7c07050ce7b058b5e49176c