tree 8beb237dfbfccb84866f5cc6927ecf2dd9e8aa07
parent 5705476065736883dd0921ac0f978256da80df7e
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1424527490 -0200
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1424527490 -0200

corrected year (2014 -> 2015) for release 5.2.4.