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

Merge "Update VE core submodule to master (8bdf0f7)"

Browse source
This commit is contained in:
jenkins-bot 2016-10-27 02:01:32 +00:00 committed by Gerrit Code Review
parent dc902b4c93 3412958be0
commit cdb98fe3c9
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 5fc8c7f0fe9da80aa97c456fa323acb8685bb792
Subproject commit 8bdf0f796b4fba3e748c4b9697cf84a5b4cb4a3e