On Thu, May 19, 2016 at 3:32 PM, Tom Lane <[email protected]> wrote:
> Peter Juhasz <[email protected]> writes: > > > Is this known? > > I do not recall anyone ever reporting something similar --- and that code > has been like that for a long time. > > I'd take Tom's word over mine :) David J.
