wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 11:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update VE core submodule to master (12ad256)"

Browse source
This commit is contained in:
jenkins-bot 2016-05-16 21:26:59 +00:00 committed by Gerrit Code Review
parent abe98d1eeb 90fe9c980b
commit 8aef98d01e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/ve

@ -1 +1 @@
Subproject commit 598aa93a6db37b1f70bd2595cb4893392c43add0
Subproject commit 12ad256600d8d91ff2df7a082d3d0df231f5411a