On 13 October 2017 at 09:13, Masahiko Sawada <sawada.mshk@gmail.com> wrote:
> On Thu, Oct 12, 2017 at 11:30 PM, Robert Haas <robertmhaas@gmail.com> wrote:
>> On Thu, Oct 12, 2017 at 6:55 AM, Petr Jelinek
>> <petr.jelinek@2ndquadrant.com> wrote:
>>> Thanks for the patch, looks correct to me.
>>
>> Committed and back-patched to v10.
Well spotted both of you!
Shows that reading code and correcting comments is useful activity.
--
Simon Riggs http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers