tree 85f5b692d3e6818ab4bdd21765658c8f0b1fc44b
parent 38cc7d40a4bcb89314d212fdffd2ca8deebc3cb7
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1613406705 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1613406705 -0300

Bug: 'string.concat' error message uses wrong format