mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-01-24 03:51:52 +08:00
* Add Optional to str.split and friends * Python 3: Make fileno arg of socket.socket Optional Python 2: Remove fileno arg of socket.socket