Merge branch 'main' of github.com:riscv/riscv-profiles

riscv · May 26, 2023 · 981edef · 981edef
2 parents a022dda + 84bcfe8
commit 981edef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rvb23-profile.adoc b/rvb23-profile.adoc
@@ -42,7 +42,7 @@ endif::[]
 
 :sectnums!:
 
-= RVA23 Profile
+= RVB23 Profile
 
 //: This is the Preamble