From 300ddcde9be62ede900d38eaabf9830d29f248f1 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 3 Nov 2025 02:16:25 +0000 Subject: [PATCH] Bump docs-resources from `d71e312` to `75c71b5` Bumps [docs-resources](https://github.com/riscv/docs-resources) from `d71e312` to `75c71b5`. - [Commits](https://github.com/riscv/docs-resources/compare/d71e31286d38166467e086a3be851db65923144e...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 d71e312..75c71b5 160000 --- a/docs-resources +++ b/docs-resources @@ -1 +1 @@ -Subproject commit d71e31286d38166467e086a3be851db65923144e +Subproject commit 75c71b5976c09132424821f0395ea5b324eea9dd