wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 09:26:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Update VE core submodule to master (b76c9699b)"

Browse source
This commit is contained in:
jenkins-bot 2017-07-10 16:03:21 +00:00 committed by Gerrit Code Review
parent 0917d27e61 6b116701f0
commit 02af298f74
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 5d7b2376224cc8e016ff77d5489b730bca909b48
Subproject commit b76c9699b7463845d9e9e942bed0a04d60309ac5