Am 2017-03-14 15:25, schrieb Roberto Ierusalimschy:
It is safe to "abandon" a buffer (that is, to finish a function that is using a buffer without pushing its contents).
Excellent, thanks! Gunnar
