On Sat, Jul 2, 2016 at 5:10 PM, Robert Haas <[email protected]> wrote: > On Sat, Jul 2, 2016 at 3:20 PM, Kevin Grittner <[email protected]> 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 ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
