mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
it was inspired by the other overload and there was no check that the value set after is identical to the original one (cherry picked from commit fbeb49678b2af7c3356df740b5d7f98bef380550) GitOrigin-RevId: c7252a000301e90c4ad4f0df08612ce1b6a0fa2a