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

Merge "Update VE core submodule to master (15186ed26)"

Browse source
This commit is contained in:
jenkins-bot 2020-09-02 16:07:33 +00:00 committed by Gerrit Code Review
parent 317c1efd6c 3b01199373
commit f589d4d1a2
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 89a8d99f56d385c6909cd8250e90815ddf8e0f2b
Subproject commit 15186ed26cf4c034cbd5b1e01ee644f129b578ed