Noah Misch <noah(at)2ndQuadrant(dot)com> writes:
> On Fri, Aug 05, 2011 at 06:46:21PM -0400, Tom Lane wrote:
>> But having said that, I could go with 896 (or perhaps 900, which seems
>> a shade less weird).
> That works for me.
OK, applied to HEAD and 9.1.
regards, tom lane