From 0e1622b0d805e3f4cb46bf556048944d25489fac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Pierret=20=28fepitre=29?= Date: Mon, 16 Jan 2023 10:49:19 +0100 Subject: [PATCH] Make mypy happy --- splitgpg2/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/splitgpg2/__init__.py b/splitgpg2/__init__.py index 874f49a..779bbbd 100755 --- a/splitgpg2/__init__.py +++ b/splitgpg2/__init__.py @@ -222,7 +222,7 @@ class GpgServer: def __init__(self, reader: asyncio.StreamReader, writer: asyncio.StreamWriter, client_domain: str, - debug_log: str = None): + debug_log: Optional[str] = None): # configuration options: self.verbose_notifications = False