On Sat, Jul 2, 2016 at 5:10 PM, Robert Haas <robertmhaas@gmail.com> wrote:
> On Sat, Jul 2, 2016 at 3:20 PM, Kevin Grittner <kgrittn@gmail.com> wrote:
>> Attached is a patch which fixes this issue, which I will push
>> Monday unless there are objections.
>
> Considering that (1) this was posted on a weekend and (2) that Monday
> is also a US holiday and (3) that we are not about to wrap a release,
> I think you should postpone the proposed commit date by a few days to
> allow time for review.
OK, will push Thursday, the 7th of July unless there are objections.
--
Kevin Grittner
EDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
