Bump jinja2 from 3.0.3 to 3.1.3 in /docs

Bumps [jinja2](https://github.com/pallets/jinja) from 3.0.3 to 3.1.3. - [Release notes](https://github.com/pallets/jinja/releases) - [Changelog](https://github.com/pallets/jinja/blob/main/CHANGES.rst) - [Commits](pallets/jinja@3.0.3...3.1.3) --- updated-dependencies: - dependency-name: jinja2 dependency-type: direct:production ... Signed-off-by: dependabot[bot] <[email protected]>
goblint · Jan 11, 2024 · 28d5ea2 · 28d5ea2
1 parent 69f28b2
commit 28d5ea2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -3,4 +3,4 @@
 mkdocs==1.2.3
 
 # TODO: temporary workaround for deprecated usage (https://github.com/mkdocs/mkdocs/issues/2794#issuecomment-1077705509)
-jinja2==3.0.3
+jinja2==3.1.3