os: merge the top and bottom of os/init.pyi - #1458

Jul 5, 2017

os: merge the top and bottom of os/init.pyi#1458
matthiaskramm merged 2 commits into
python:masterfrom
JelleZijlstra:mergeos

Workflow runs completed with no jobs