From 9efc89b489396e4498e48e05887b94ca37a27782 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jes=C3=BAs=20P=C3=A9rez?= <jpl@jesusperez.pro>
Date: Wed, 14 Aug 2024 17:04:13 +0100
Subject: [PATCH] chore: update subrepo

---
 dist_docserver_book | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist_docserver_book b/dist_docserver_book
index 2ce6cc9..c025cfc 160000
--- a/dist_docserver_book
+++ b/dist_docserver_book
@@ -1 +1 @@
-Subproject commit 2ce6cc991af4fce6b4a3b99a016a8a547e04213d
+Subproject commit c025cfc2515d77305f47a96dae44e87441c47b43