| commit | ba4d8ed8f8d4fb999cdff94db7d6277d4a2042ac | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Fri Nov 23 19:45:52 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Fri Nov 23 19:45:52 2012 +0200 |
| tree | 7b200d67302c3dc93d2fa2c8c8958741083cdd2f | |
| parent | a0dd22e5e824195e322cb417ebb34c66475e952d [diff] |
#16530: the "options" arg of os.wait3 is required.