tree 67568c94ccc13b2abb199834029ff22b637e6b9c
parent 8b6ec4f8605c5716065f078a9d27af27c7c88bff
author David Chisnall <github@theravensnest.org> 1712222347 +0100
committer David Chisnall <davidchisnall@users.noreply.github.com> 1712304637 +0100

Remove reference to the patch_sail_riscv target.

This went away when we moved the sail-riscv submodule to the
CHERIoT-Platform org.

Reported by @gavinhoward