mirror of
https://gitee.com/zhangsken/AndroidIDE.git
synced 2026-10-16 07:49:44 +08:00
b8fc23b315
This was originally reported in https://gitlab.com/fdroid/fdroiddata/-/merge_requests/14294\#note_1715467388