mypy: zulip: Fix errors in integrations/irc/irc_mirror_backend.py.
MODIFY
tools/run-mypy
tools/run-mypy
@@ -19,7 +19,6 @@ os.chdir(os.path.dirname(TOOLS_DIR))
sys.path.append(os.path.dirname(TOOLS_DIR))
exclude = """
-zulip/integrations/irc/irc_mirror_backend.py
zulip/integrations/log2zulip/log2zulip
zulip/integrations/perforce/zulip_perforce_config.py
zulip/integrations/perforce/git_p4.py

MODIFY
zulip/integrations/irc/irc_mirror_backend.py
zulip/integrations/irc/irc_mirror_backend.py
import irc.bot
import irc.strings
from irc.client import ip_numstr_to_quad, ip_quad_to_numstr, Event, ServerConnection
+from typing import Any, Dict
IRC_DOMAIN = "irc.example.com"

mypy: zulip: Fix errors in integrations/irc/irc_mirror_backend.py.