mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-05-04 12:35:49 +08:00
9e76d44b09
`sys.setprofile(None)` is valid, and is in fact the only way to clear a profiler once set.