On Fri, Aug 3, 2018 at 6:56 PM, Robert Haas <robertmhaas@gmail.com> wrote:
> On Fri, Aug 3, 2018 at 4:39 AM, Amit Kapila <amit.kapila16@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