On Sat, Jul 2, 2016 at 5:10 PM, Robert Haas <robertmh...@gmail.com> wrote: > On Sat, Jul 2, 2016 at 3:20 PM, Kevin Grittner <kgri...@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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers