From b1d5dbd9685e3e5c0cdeb77e2cd89e9d938a1637 Mon Sep 17 00:00:00 2001
From: Ezio Melotti <ezio.melotti@gmail.com>
Date: Mon, 13 Nov 2023 19:04:36 +0100
Subject: [PATCH] Bump sphinx-lint from 0.8.1 to 0.8.2

---
 requirements.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/requirements.txt b/requirements.txt
index 036517fe08..f9f0b5073e 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -2,7 +2,7 @@ furo>=2022.6.4
 jinja2
 sphinx-autobuild
 sphinx-inline-tabs>=2023.4.21
-sphinx-lint==0.8.1
+sphinx-lint==0.8.2
 sphinx-notfound-page>=1.0.0
 sphinx_copybutton>=0.3.3
 sphinxext-opengraph>=0.7.1