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
Hi Hackers,
The pull request https://github.com/codemirror/CodeMirror/pull/5814 on
CodeMirror was merged and is available in current latest version.
This can be marked to be available for next release.
--
Thanks and Regards,
Aditya Toshniwal
Software Engineer | EnterpriseDB India | Pune
"Don't C
