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 > 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 Complain about Heat, Plant a TREE" > -- Thanks and Regards, Aditya Toshniwal Software Engineer | EnterpriseDB India | Pune "Don't Complain about Heat, Plant a TREE"
RM4035.patch
Description: Binary data
