riscv/riscv-cheri riscv-isa-release-73ab3a7-2025-09-20

Release riscv-isa-release-73ab3a7-2025-09-20

on GitHub

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

What's Changed

• Allow using the isa-manual makefile to build riscv-cheri.pdf by @arichardson in #797

Full Changelog: riscv-isa-release-1174f32-2025-09-20...riscv-isa-release-73ab3a7-2025-09-20