From 5561b7beeb35a24e11edeed894ed657976dc8d0e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phaneDucasse?= <stephane.ducasse@inria.fr>
Date: Tue, 24 Oct 2023 15:17:56 +0200
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e3958285..59054545 100644
--- a/README.md
+++ b/README.md
@@ -23,7 +23,7 @@ For HTTPS setup, execute the `build.sh` script found in the `scripts` directory:
 ```bash
 $ git clone https://github.com/pillar-markup/pillar.git
 $ cd pillar
-$ git checkout v8.3.0
+$ git checkout v8.3.1
 $ chmod a+x ./scripts/build.sh
 $ ./scripts/build.sh
 ```