mypy

jupyter · Sep 27, 2023 · 0d1cf2c · 0d1cf2c
1 parent c842960
commit 0d1cf2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/papyri/render.py b/papyri/render.py
@@ -661,7 +661,7 @@ async def _route_data(self, ref, version, known_refs):
     async def _route(
         self,
         ref: str,
-        version: str = None,
+        version: Optional[str] = None,
     ):
         assert not ref.endswith(".html")
         assert version is not None