riscv/riscv-cheri riscv-isa-release-9da9d93-2025-07-24

Release riscv-isa-release-9da9d93-2025-07-24

on GitHub

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

What's Changed

• Bump docs-resources from 1d5bcd2 to 3a40e07 by @dependabot[bot] in #671
• fix two typos by @tariqkurd-repo in #673

Full Changelog: riscv-isa-release-d636fd7-2025-07-23...riscv-isa-release-9da9d93-2025-07-24