From b3d0f30c34ce809f31f026c09c79fdd41d6a24e0 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 17 Oct 2025 02:12:01 +0000 Subject: [PATCH] Bump docs-resources from `d71e312` to `14a3283` Bumps [docs-resources](https://github.com/riscv/docs-resources) from `d71e312` to `14a3283`. - [Commits](https://github.com/riscv/docs-resources/compare/d71e31286d38166467e086a3be851db65923144e...14a3283ac4f78ce72938b1323423bfab08ece0b6) --- updated-dependencies: - dependency-name: docs-resources dependency-version: 14a3283ac4f78ce72938b1323423bfab08ece0b6 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..14a3283 160000 --- a/docs-resources +++ b/docs-resources @@ -1 +1 @@ -Subproject commit d71e31286d38166467e086a3be851db65923144e +Subproject commit 14a3283ac4f78ce72938b1323423bfab08ece0b6