tree e55a5cee9fb21522015f710712577c23243e2be2
parent 997f11f54322883c3181225f29d101a597f31730
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1662472735 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1662472735 -0300

Changed the growth rate of string buffers

The growth rate of string buffers was reduced from 2 to 1.5 (3/2).
As string buffers start larger (256~1024 bytes), they don't need to
grow that fast. Moreover, a lower rate allows multiplicative growth up
to larger sizes (3/2 of the maximum). (After that, the growth becomes
linear, which is mostly useless.)