tree af8ffff15fdc1b0555c5d4b597b257cacc25ef05
parent dbdc74dc5502c2e05e1c1e2ac894943f418c8431
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1626878038 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1626878038 -0300

Correction on documentation of string-buffer operations

All string-buffer operations can potentially change the stack in
unspecified ways; the push/pop documentation in the manual should
reflect that.