On Fri, Aug 3, 2018 at 6:56 PM, Robert Haas <robertmh...@gmail.com> wrote: > On Fri, Aug 3, 2018 at 4:39 AM, Amit Kapila <amit.kapil...@gmail.com> wrote: >> I have noticed that part of the comment atop ExecShutdownNode is now >> redundant. See attached edit_comments_shutdown_node_v1, let me know >> if you think otherwise. > > Oh, yes, that should be adjusted. >
Pushed the patch for same. -- With Regards, Amit Kapila. EnterpriseDB: http://www.enterprisedb.com
