Merge branch 'main' into dev

UniversitaDellaCalabria · Nov 23, 2023 · 7c7d901 · 7c7d901
2 parents 83f758d + ba36239
commit 7c7d901
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/requirements-docs.txt b/requirements-docs.txt
@@ -3,3 +3,4 @@ recommonmark
 sphinx_rtd_theme
 sphinxcontrib-images
 pygments>=2.7.4 # not directly required, pinned by Snyk to avoid a vulnerability
+setuptools>=65.5.1 # not directly required, pinned by Snyk to avoid a vulnerability