Thanks, the patch applied.
On Mon, Sep 27, 2021 at 5:57 PM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> Please find the updated patch with one more improvement - Use server_type
> instead of type from the server info.
>
> On Mon, Sep 27, 2021 at 4:57 PM Aditya To
Hi Hackers,
Please find the updated patch with one more improvement - Use server_type
instead of type from the server info.
On Mon, Sep 27, 2021 at 4:57 PM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> Attached patch incorporates:
> 1. Switch control and CodeMirr
