From 13cb00509db10590813fc76cb185767536454046 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 1 Dec 2023 06:18:32 +0000 Subject: [PATCH] Bump themes/docura from `93c8475` to `5c14e01` Bumps [themes/docura](https://github.com/docura/docura) from `93c8475` to `5c14e01`. - [Release notes](https://github.com/docura/docura/releases) - [Commits](https://github.com/docura/docura/compare/93c8475ceebc19c90435f27b019445aef3c2fd7c...5c14e0106140377c0095575f0ae00534e781ab46) --- updated-dependencies: - dependency-name: themes/docura dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- themes/docura | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/themes/docura b/themes/docura index 93c8475..5c14e01 160000 --- a/themes/docura +++ b/themes/docura @@ -1 +1 @@ -Subproject commit 93c8475ceebc19c90435f27b019445aef3c2fd7c +Subproject commit 5c14e0106140377c0095575f0ae00534e781ab46