mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-06-23 09:18:44 +08:00
3f456e335e
See https://docs.python.org/3.7/library/multiprocessing.html#multiprocessing.Process.kill. Fixes #2022.