From d5579066b9a7e42fb61fe14429bfd92415c2cc8a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <rverschelde@gmail.com>
Date: Tue, 28 Oct 2025 21:09:44 +0100
Subject: [PATCH] CI: Restore `make_rst.py` executable bit

---
 doc/tools/make_rst.py | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 doc/tools/make_rst.py

diff --git a/doc/tools/make_rst.py b/doc/tools/make_rst.py
old mode 100644
new mode 100755