On 15 November 2017 at 10:07, Michael Paquier <michael.paquier@gmail.com> wrote: > 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".
The patch has been applied - look at the code. Marking back to committed.
I have no idea which magical place this is being committed, atleast don't see on master unless checking something wrong, please can you post the commit here ?