riscv/riscv-cheri riscv-isa-release-5ef932d-2026-07-06

Release riscv-isa-release-5ef932d-2026-07-06

on GitHub

This release was created by: arichardson
Release of RISC-V ISA, built from commit 5ef932d, is now available.

What's Changed

• Trivial proofreading fixes by @arichardson in #1116

Full Changelog: riscv-isa-release-c750e06-2026-07-06...riscv-isa-release-5ef932d-2026-07-06