From d62eb1c19dab1cd7ff198f5ac01ca946ed161b3e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 20 Jul 2023 11:31:25 +0000 Subject: [PATCH] Bump pygments from 2.11.2 to 2.15.0 in /docs Bumps [pygments](https://github.com/pygments/pygments) from 2.11.2 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.11.2...2.15.0) --- updated-dependencies: - dependency-name: pygments dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- docs/requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/requirements.txt b/docs/requirements.txt index 70ced4472..c07274474 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -9,6 +9,6 @@ pydot==1.4.2 rich==11.1.0 pytest==7.0.0 Jinja2==3.0.3 -Pygments==2.11.2 +Pygments==2.15.0 ordered-set==4.1.0 MutPy-Pynguin==0.7.1