Thanks, patch applied. On Mon, Aug 13, 2018 at 12:01 PM, Akshay Joshi < akshay.jo...@enterprisedb.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