On 2018-04-03 10:38:57 -0700, Peter Geoghegan wrote:
> I proposed the attached, which makes the buffer one byte larger, per
> your suggestion.

Pushed, thanks.

- Andres

Reply via email to