Thanks, patch applied.
On Mon, Aug 13, 2018 at 12:01 PM, Akshay Joshi <
akshay(dot)joshi(at)enterprisedb(dot)com> wrote:
> Hi Hackers,
>
> Attached is the patch to fix RM #3461 "Properties/SQL panel contents does
> not updates when user perform Refresh operation on the node". Please review
> it.
>
>
> --
> *Akshay Joshi*
>
> *Sr. Software Architect *
>
>
>
> *Phone: +91 20-3058-9517Mobile: +91 976-788-8246*
>
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company