Skip to content

[trivial] silence the warning about this pointer#635

Merged
Yurlungur merged 2 commits intomainfrom
jmm/some-casts
Apr 14, 2026
Merged

[trivial] silence the warning about this pointer#635
Yurlungur merged 2 commits intomainfrom
jmm/some-casts

Commits

Commits on Apr 13, 2026