os.get_terminal_size also exists on Windows (#2338)
os.get_terminal_size also exists on Windows (#2338)

... at least according to https://docs.python.org/3/library/os.html#os.get_terminal_size.

Related to python/mypy#5370.
euresti/typeshed