Skip to content

[RISC-V] Replace Riscv with RiscV#92318

Merged
jkotas merged 2 commits intodotnet:mainfrom
JongHeonChoi:replace_riscv_name
Sep 22, 2023
Merged

[RISC-V] Replace Riscv with RiscV#92318
jkotas merged 2 commits intodotnet:mainfrom
JongHeonChoi:replace_riscv_name

Commits

Commits on Sep 20, 2023