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