[metal] Some minor fixes and tweaks#933
Merged
jart merged 4 commits intojart:masterfrom Nov 14, 2023
tkchia:tkchia/20231105
Merged
[metal] Some minor fixes and tweaks#933jart merged 4 commits intojart:masterfrom tkchia:tkchia/20231105
jart merged 4 commits intojart:masterfrom
tkchia:tkchia/20231105