tree 7b200d67302c3dc93d2fa2c8c8958741083cdd2f
parent a0dd22e5e824195e322cb417ebb34c66475e952d
author Ezio Melotti <ezio.melotti@gmail.com> 1353692752 +0200
committer Ezio Melotti <ezio.melotti@gmail.com> 1353692752 +0200

#16530: the "options" arg of os.wait3 is required.