From 5fc149bb312083d721ccc6b8eea2b47098d164db Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ville=20Skytt=C3=A4?= Date: Tue, 7 Aug 2018 20:22:46 +0300 Subject: [PATCH] Mark GzipFile.mtime as Optional[int] (#2365) Unlike the corresponding constructor kwarg, this is an int, not float. --- stdlib/3/gzip.pyi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stdlib/3/gzip.pyi b/stdlib/3/gzip.pyi index 024413b09..6f1bf7adc 100644 --- a/stdlib/3/gzip.pyi +++ b/stdlib/3/gzip.pyi @@ -23,7 +23,7 @@ class GzipFile(_compression.BaseStream): @property def filename(self) -> str: ... @property - def mtime(self): ... + def mtime(self) -> Optional[int]: ... crc: int def write(self, data: bytes) -> int: ... def read(self, size: Optional[int] = ...) -> bytes: ...