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.
1 file changed