tree 7a295ca88800087a8f91d3c0759dc74a107043ba
parent 7dc3ca7b8ee87d5264f7edb2a1ad425a34048aa1
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1448455737 -0200
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1448455737 -0200

randomness in 'table.sort' used only when needed (big imbalance in
partition result) + small refactoring