Skip to content

Remove object lifetime cast#113

Merged
Xudong-Huang merged 1 commit intoXudong-Huang:masterfrom
BoxyUwU:remove_object_lifetime_cast
Mar 15, 2025
Merged

Remove object lifetime cast#113
Xudong-Huang merged 1 commit intoXudong-Huang:masterfrom
BoxyUwU:remove_object_lifetime_cast

Commits

Commits on Mar 13, 2025