On Fri, Sep 1, 2017 at 12:24 PM, Jacob Champion <pchampion(at)pivotal(dot)io> wrote:
> On Fri, Sep 1, 2017 at 9:12 AM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
>> It's a good idea to add patches to commitfest.postgresql.org
>
> Hi Robert, I added it yesterday as
> https://commitfest.postgresql.org/14/1279/ . Let me know if I need to
> touch anything up there.
Nah, looks fine, I just somehow missed it when I looked the first time.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company