riscv/riscv-cheri riscv-isa-release-a72b38c-2026-07-03

Release riscv-isa-release-a72b38c-2026-07-03

on GitHub

This release was created by: tariqkurd-repo
Release of RISC-V ISA, built from commit a72b38c, is now available.

What's Changed

• Fix Claude feedback by @tariqkurd-repo in #1103

Full Changelog: riscv-isa-release-0bed1ae-2026-07-03...riscv-isa-release-a72b38c-2026-07-03