Message239560
Ok, here is a first patch just for select.select().
It took me some time to write this small patch, because I wanted first to push my new API to handle time in pytime.h (Issue #22117). The new time C API has been merged. |
|
Date |
User |
Action |
Args |
2015-03-30 02:13:34 | vstinner | set | recipients:
+ vstinner, neologix, martin.panter |
2015-03-30 02:13:34 | vstinner | set | messageid: <1427681614.73.0.414699000974.issue23485@psf.upfronthosting.co.za> |
2015-03-30 02:13:34 | vstinner | link | issue23485 messages |
2015-03-30 02:13:34 | vstinner | create | |
|