Skip to content
This repository was archived by the owner on Sep 6, 2021. It is now read-only.

get latest codemirror fixes - #12679

Merged
ficristo merged 1 commit into
masterfrom
zaggino/update-code-mirror
Aug 16, 2016
Merged

ficristo merged 1 commit into
masterfrom
zaggino/update-code-mirror

Conversation

@zaggino

@zaggino zaggino commented Aug 16, 2016

Copy link
Copy Markdown
Contributor

contains some fixes for syntax highlighting
cc @marcelgerber @ficristo @petetnt

@zaggino zaggino added this to the Release 1.8 milestone Aug 16, 2016
@ficristo

Copy link
Copy Markdown
Collaborator

LGTM, thank you.

@ficristo
ficristo merged commit 424d808 into master Aug 16, 2016
@marcelgerber
marcelgerber deleted the zaggino/update-code-mirror branch August 16, 2016 09:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants