tree febb2113f925844131481d3b60846b5624f2cbce
parent 71f70df3271f6e8ae9e8efcaef3be19f8d37c161
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1596033248 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1596033248 -0300

Details

The fields 'old' and 'finobjold' were renamed 'old1' and 'finobjold1',
respectively, to make clearer the main ages of their elements.