On 13 October 2017 at 09:13, Masahiko Sawada <sawada.m...@gmail.com> wrote: > On Thu, Oct 12, 2017 at 11:30 PM, Robert Haas <robertmh...@gmail.com> wrote: >> On Thu, Oct 12, 2017 at 6:55 AM, Petr Jelinek >> <petr.jeli...@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