On Wed, 2012-10-10 at 11:29 +0100, Peter Geoghegan wrote:
> On 8 October 2012 14:39, Peter Geoghegan <peter@2ndquadrant.com> wrote:
> > Small patch that hopefully fixes everything for everyone is attached.
>
> Will someone take a look at this, please?
I've removed it. It had too many problems.