riscv/riscv-isa-manual riscv-isa-release-9258b51-2026-04-24

Release riscv-isa-release-9258b51-2026-04-24

on GitHub

This release was created by: aswaterman
Release of RISC-V ISA, built from commit 9258b51, is now available.

What's Changed

• Fix unwanted # by @demin-han in #2958

Full Changelog: riscv-isa-release-812318e-2026-04-24...riscv-isa-release-9258b51-2026-04-24