Hi Boyu, One more thing: I don't see a CommitFest entry for this patch. To give it more visibility to reviewers and committers, I created one and set myself as the entry owner for now, since you don't seem to have a postgresql.org community account yet:
https://commitfest.postgresql.org/patch/7265/ When you get a chance, please register a community account and move the ownership back(or let me know), so the credit is recorded correctly. Thanks, Shihao >
