On 3/16/17 12:41 PM, Robert Haas wrote:
> 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.
Done.
--
-David
david@pgmasters.net