Nice! Patch applied, thanks.
On Thu, Aug 22, 2019 at 9:08 AM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Forgot to mention, this patch also fixes
> https://redmine.postgresql.org/issues/4584 - HTML entities aren't escaped
> in database names
>
> On Thu, Aug 22, 2019 at 1:05 PM
Forgot to mention, this patch also fixes
https://redmine.postgresql.org/issues/4584 - HTML entities aren't escaped
in database names
On Thu, Aug 22, 2019 at 1:05 PM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> Attached is the patch to improve user experience when
