From 01ca2ec04d21f61662fa32e4632e8a9173181e4e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 3 Nov 2025 08:26:02 +0000 Subject: [PATCH] Bump docs-resources from `8b88469` to `75c71b5` Bumps [docs-resources](https://github.com/riscv/docs-resources) from `8b88469` to `75c71b5`. - [Commits](https://github.com/riscv/docs-resources/compare/8b88469fdd351a2318a546c93bd62608dd97dd60...75c71b5976c09132424821f0395ea5b324eea9dd) --- updated-dependencies: - dependency-name: docs-resources dependency-version: 75c71b5976c09132424821f0395ea5b324eea9dd 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 8b88469..75c71b5 160000 --- a/docs-resources +++ b/docs-resources @@ -1 +1 @@ -Subproject commit 8b88469fdd351a2318a546c93bd62608dd97dd60 +Subproject commit 75c71b5976c09132424821f0395ea5b324eea9dd