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

Merge "Update VE core submodule to master (1a0bc9981)"

Browse source
This commit is contained in:
jenkins-bot 2018-02-22 00:31:32 +00:00 committed by Gerrit Code Review
parent c5cc11079b f1f9a5f848
commit 35efed480b
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 aa4aa2842eafa926f5247ddc4082086893416737
Subproject commit 1a0bc9981008bfed2b2cf1bd311190161fa0163a