Hi Hackers,
Please find the attached patch which resolves the issue of renaming the
database by another user.
A minor issue of navigation button alignment is also fixed in this patch.
--
*Rahul Shirsat*
Senior Software Engineer | EnterpriseDB Corporation.