On Wed, Nov 15, 2017 at 7:28 AM, Ashwin Agrawal <aagra...@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