On Wed, Nov 15, 2017 at 7:28 AM, Ashwin Agrawal <aagrawal@pivotal.io> wrote:
>
> https://commitfest.postgresql.org/15/1297/
>
> Am I missing something or not looking at right place, this is marked as
> committed but don't see the change in latest master ?
Good thing you double-checked. This has been marked as committed
eleven day ago by Simon (added in CC), but no commit has happened. I
am switching back the status as "ready for committer".
--
Michael