From 72f491ae36d8fbbf677b2fb2b6422031c4e9267b Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Fri, 1 Sep 2023 06:27:12 +0000 Subject: [PATCH] Bump themes/docura from `2cea025` to `93c8475` Bumps [themes/docura](https://github.com/docura/docura) from `2cea025` to `93c8475`. - [Commits](https://github.com/docura/docura/compare/2cea0256166e12ecf4fd8d6627ea83f72996172e...93c8475ceebc19c90435f27b019445aef3c2fd7c) --- 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 2cea025..93c8475 160000 --- a/themes/docura +++ b/themes/docura @@ -1 +1 @@ -Subproject commit 2cea0256166e12ecf4fd8d6627ea83f72996172e +Subproject commit 93c8475ceebc19c90435f27b019445aef3c2fd7c