From d74dbc41ba811cd9b79bb06d80a2c19742c39c93 Mon Sep 17 00:00:00 2001 From: dgelessus Date: Sun, 1 Nov 2020 19:13:11 +0100 Subject: [PATCH] Remove no longer needed type: ignore comment from .__main__ --- rsrcfork/__main__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rsrcfork/__main__.py b/rsrcfork/__main__.py index 011548d..cc23580 100644 --- a/rsrcfork/__main__.py +++ b/rsrcfork/__main__.py @@ -307,7 +307,7 @@ def show_filtered_resources(resources: typing.Sequence[api.Resource], format: st elif format == "raw": # Data only as raw bytes - shutil.copyfileobj(f, sys.stdout.buffer) # type: ignore # Workaround for python/mypy#8962 + shutil.copyfileobj(f, sys.stdout.buffer) elif format == "derez": # Like DeRez with no resource definitions