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

Merge "Update VE core submodule to master (6847cfba6)"

Browse source
This commit is contained in:
jenkins-bot 2018-06-01 08:37:26 +00:00 committed by Gerrit Code Review
parent 15d048f9a3 d7dcf6f681
commit 22d1cfeecb
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 73e80ba80257550dbcf0be05d468a73d5fc2e299
Subproject commit 6847cfba653a7d26977dcbaf85cc8f61df7f01a3