mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-28 06:51:01 +07:00
Not perfect at all, it should be able to rely on the commenter API instead. GitOrigin-RevId: f41d181e9f27905bca1156912b7850f5a96ba943