Thanks patch applied.
On Wed, Jun 5, 2019 at 11:39 AM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> Attached is the patch to use the latest version of CodeMirror, to make
> sure that the fix is available.
>
> On Wed, Jun 5, 2019 at 11:29 AM Aditya Toshniwal <
> ad
Hi Hackers,
Attached is the patch to use the latest version of CodeMirror, to make sure
that the fix is available.
On Wed, Jun 5, 2019 at 11:29 AM Aditya Toshniwal <
aditya.toshni...@enterprisedb.com> wrote:
> Hi Hackers,
>
> The pull request https://github.com/codemirror/CodeMirror/pull/5814 on
