tree 77e909df286196927a60d2eeff4e21b41870ed7c
parent c9e6ed1d9fdf3323599a59515e73ec794b7cb15a
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 867451129 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 867451129 -0300

a file handle must be a userdata.