From 6fd353289c5e6d829b9e2acd4384123b0f7dbb49 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 18 Dec 2024 08:36:19 +0000
Subject: [PATCH] Bump docs-resources from `a76dd1d` to `62576cd` (#492)
Bumps [docs-resources](https://github.com/riscv/docs-resources) from
`a76dd1d` to `62576cd`.
Commits
62576cd
Merge pull request #43
from riscv/42-set-monospaced-font-to-086
3da00bc
Update link to spec state definitions in readme.
4707535
Set monospaced font to 0.86% of base font size.
- See full diff in compare
view
Dependabot will resolve any conflicts with this PR as long as you don't
alter it yourself. You can also trigger a rebase manually by commenting
`@dependabot rebase`.
[//]: # (dependabot-automerge-start)
[//]: # (dependabot-automerge-end)
---
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits
that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after
your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge
and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating
it. You can achieve the same result by closing it manually
- `@dependabot show ignore conditions` will show all
of the ignore conditions of the specified dependency
- `@dependabot ignore this major version` will close this PR and stop
Dependabot creating any more for this major version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop
Dependabot creating any more for this minor version (unless you reopen
the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop
Dependabot creating any more for this dependency (unless you reopen the
PR or upgrade to it yourself)
Signed-off-by: dependabot[bot]
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
---
docs-resources | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs-resources b/docs-resources
index a76dd1d3..62576cdd 160000
--- a/docs-resources
+++ b/docs-resources
@@ -1 +1 @@
-Subproject commit a76dd1d390cba28e3b1ce86313af03ce9b69399d
+Subproject commit 62576cdd285615473c279eb9acecade9e0fe0e1f