Thanks, applied. On Tue, Aug 7, 2018 at 11:17 AM, Akshay Joshi <[email protected] > wrote:
> Hi Hackers, > > Attached is the patch to fix RM #3407 "Fix layout of keyboard shortcut > preferences panels". 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
