From 110ee4fc22307f12a752dbd35938a1add3007ea0 Mon Sep 17 00:00:00 2001
From: Guillaume Petiot <guillaume@tarides.com>
Date: Wed, 4 Oct 2023 07:39:07 +0800
Subject: [PATCH] Pin odoc.2.3.1

---
 src/lib/config.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib/config.ml b/src/lib/config.ml
index 486e65b5..e0e8ea7d 100644
--- a/src/lib/config.ml
+++ b/src/lib/config.ml
@@ -212,9 +212,9 @@ let cmdliner =
     $ take_n_last_versions
     $ Ssh.cmdliner)
 
-(* odoc pinned to tag 2.2.0 *)
+(* odoc pinned to tag 2.3.1 *)
 let odoc _ =
-  "https://github.com/ocaml/odoc.git#103dac4c370aa2ad5aca7ba54f02f8e06adb941b"
+  "https://github.com/ocaml/odoc.git#7ca4890b94d9c36732e3eb69fcf2859f95975dfb"
 
 let pool _ = "linux-x86_64"
 let jobs t = t.jobs