From e60f3331c7e940a9576058640580b1ff5cc52573 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 28 Oct 2025 02:20:58 +0000 Subject: [PATCH] Bump docs-resources from `d71e312` to `07ae7be` Bumps [docs-resources](https://github.com/riscv/docs-resources) from `d71e312` to `07ae7be`. - [Commits](https://github.com/riscv/docs-resources/compare/d71e31286d38166467e086a3be851db65923144e...07ae7bec8d8881726d316cbd8d464ab6eda270fb) --- updated-dependencies: - dependency-name: docs-resources dependency-version: 07ae7bec8d8881726d316cbd8d464ab6eda270fb dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- docs-resources | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs-resources b/docs-resources index d71e312..07ae7be 160000 --- a/docs-resources +++ b/docs-resources @@ -1 +1 @@ -Subproject commit d71e31286d38166467e086a3be851db65923144e +Subproject commit 07ae7bec8d8881726d316cbd8d464ab6eda270fb