On Thu, Mar 16, 2017 at 12:39 PM, David Steele <david@pgmasters.net> wrote:
>> Anyway, I committed the patch posted here. Or the important line out
>> of the two, anyway. :-)
>
> It seems that this submission should be marked as "Committed" with
> Robert as the committer. Am I missing something?
I think you are right. Sorry that I missed that step.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company