From 46860459a968d3496bd5d371b0c1bd9085d1f266 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 20 Jul 2023 11:36:13 +0000 Subject: [PATCH] Bump pygments from 2.12.0 to 2.15.0 in /doc/manual Bumps [pygments](https://github.com/pygments/pygments) from 2.12.0 to 2.15.0. - [Release notes](https://github.com/pygments/pygments/releases) - [Changelog](https://github.com/pygments/pygments/blob/master/CHANGES) - [Commits](https://github.com/pygments/pygments/compare/2.12.0...2.15.0) --- updated-dependencies: - dependency-name: pygments dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- doc/manual/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/manual/requirements.txt b/doc/manual/requirements.txt index 9bb4c80dc..1523b2ae8 100644 --- a/doc/manual/requirements.txt +++ b/doc/manual/requirements.txt @@ -16,7 +16,7 @@ packaging==21.3 pybtex==0.24.0 pybtex-docutils==1.0.2 pydata-sphinx-theme==0.8.1 -Pygments==2.12.0 +Pygments==2.15.0 pyparsing==3.0.9 pytz==2022.1 PyYAML==6.0