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.