diff options
Diffstat (limited to 'sphinx/util/__init__.py')
| -rw-r--r-- | sphinx/util/__init__.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/util/__init__.py b/sphinx/util/__init__.py index 2ebae8768..3657f2624 100644 --- a/sphinx/util/__init__.py +++ b/sphinx/util/__init__.py @@ -260,7 +260,7 @@ def save_traceback(app): platform.python_version(), platform.python_implementation(), docutils.__version__, docutils.__version_details__, - jinja2.__version__, # type: ignore + jinja2.__version__, last_msgs)).encode()) if app is not None: for ext in app.extensions.values(): |