From b15af3ecdba9df34f247ccbfe38412de4a069fdb Mon Sep 17 00:00:00 2001 From: Patrice Chalin Date: Mon, 11 Dec 2023 05:39:05 -0500 Subject: [PATCH] Update docsy to v0.8.0-6-g6a71096 (#3666) --- themes/docsy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/themes/docsy b/themes/docsy index 6bb4f99d1eab..6a71096ef3fa 160000 --- a/themes/docsy +++ b/themes/docsy @@ -1 +1 @@ -Subproject commit 6bb4f99d1eab4976fb80d1488c81ba12b1715c05 +Subproject commit 6a71096ef3fad14504eb2f4f1656ec10b34a62f9