mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
The original fix targeted Web2Py support which is now discontinued (see PY-10145 and PY-49195). GitOrigin-RevId: 7a6edcf04d04f14317582cd35b4e61813285f710