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.toshniwal@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 ToshniwalSoftware Engineer | EnterpriseDB India | Pune"Don't Complain about Heat, Plant a TREE"-- Thanks and Regards,Aditya ToshniwalSoftware Engineer | EnterpriseDB India | Pune"Don't Complain about Heat, Plant a TREE"
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 ToshniwalSoftware Engineer | EnterpriseDB India | Pune"Don't Complain about Heat, Plant a TREE"
pgadmin-hackers by date:
Соглашаюсь с условиями обработки персональных данных