From 5d842a6f3219f577eefe41853c47db6a21dd9f6f Mon Sep 17 00:00:00 2001 From: Pietro Albini Date: Mon, 3 Apr 2023 11:09:10 +0200 Subject: [PATCH] update book --- src/doc/book | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/book b/src/doc/book index 21a2ed14f44..0510ca84c2c 160000 --- a/src/doc/book +++ b/src/doc/book @@ -1 +1 @@ -Subproject commit 21a2ed14f4480dab62438dcc1130291bebc65379 +Subproject commit 0510ca84c2ce6bf93c4ccf9248756e9e4fd00b12