tree 6b8be4dcec4e71ccf6e85f3bfa95a7bfd544714f
parent b98d41db99969f6336c32cb67274093b9a548d39
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1570216624 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1570216624 -0300

Fixed a warning and other minor issues

Fixed some minor issues from the feedback for 5.4-beta rc1.