Skip to content

Avoid errors in old toolchains, add to-be-removed convenience keyword#1026

Merged
ktoso merged 1 commit intomainfrom
ktoso-patch-2
Jul 25, 2022
Merged

Avoid errors in old toolchains, add to-be-removed convenience keyword#1026
ktoso merged 1 commit intomainfrom
ktoso-patch-2

Commits

Commits on Jul 25, 2022