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

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

Browse source
This commit is contained in:
jenkins-bot 2019-06-20 16:54:36 +00:00 committed by Gerrit Code Review
parent 45f3b5644c 421ef465b9
commit 916a8e21aa
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 44556e8fd871ee7af74ae7c78f68be45519fcfd3 Subproject commit 1cf71b3f3506afcd16ed2fc6ce72fd8dac88e8a0