Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CodeMirror 5.25.2 #15559

Merged
merged 1 commit into from
Apr 29, 2017
Merged

CodeMirror 5.25.2 #15559

merged 1 commit into from
Apr 29, 2017

Conversation

okonomiyaki3000
Copy link
Contributor

@okonomiyaki3000 okonomiyaki3000 commented Apr 26, 2017

Pull Request for Issue # .
#15532

Summary of Changes

http://codemirror.net/doc/releases.html

Testing Instructions

Use CodeMirror.

Expected result

It will continue to work normally.

Actual result

It continues to work normally.

Documentation Changes Required

Nope

@okonomiyaki3000
Copy link
Contributor Author

If you like CodeMirror, you'll want to check this out #12542

@C-Lodder
Copy link
Member

I have tested this item ✅ successfully on 2a10a95


This comment was created with the J!Tracker Application at issues.joomla.org/tracker/joomla-cms/15559.

1 similar comment
@ciar4n
Copy link
Contributor

ciar4n commented Apr 26, 2017

I have tested this item ✅ successfully on 2a10a95


This comment was created with the J!Tracker Application at issues.joomla.org/tracker/joomla-cms/15559.

@ghost
Copy link

ghost commented Apr 26, 2017

RTC after two successful tests.

@joomla-cms-bot joomla-cms-bot added the RTC This Pull Request is Ready To Commit label Apr 26, 2017
@jeckodevelopment jeckodevelopment added this to the Joomla 3.7.1 milestone Apr 26, 2017
@wilsonge wilsonge merged commit 6a21b52 into joomla:staging Apr 29, 2017
@joomla-cms-bot joomla-cms-bot added PR-staging and removed RTC This Pull Request is Ready To Commit labels Apr 29, 2017
@okonomiyaki3000 okonomiyaki3000 deleted the CodeMirrorUpdate branch April 29, 2017 15:10
rdeutz pushed a commit to joomlajenkins/joomla-cms that referenced this pull request May 1, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants