Martijn van Oosterhout <kleptog(at)svana(dot)org> writes:
> On Mon, Aug 14, 2006 at 08:09:36AM -0400, Tom Lane wrote:
>> It's like a two-line patch, so hardly worth putting in TODO ... might
>> as well just do it. IIRC the motivation is mostly to silence a
>> Coverity warning?
> Well sort of. I can also just tick a box and the warning goes away too.
> It just seemed from the discussion that it was something people were
> going to fix...
Done now --- I have to admit I'd forgotten about it.
regards, tom lane