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

Update VE core submodule to master (3d0cc9eac)

Browse source 
New changes:
9171b9afd Update OOUI to v0.33.3
d22e876e0 SurfaceFragment: Fix typo in docs
11b04e1b6 HashValueStore: Shortcut merge if other === this

Change-Id: Ibfe03293675f6484d0758ebc239246713bfa7d95
This commit is contained in:
James D. Forrester 2019-07-17 14:37:30 -07:00
parent 5aea61add7
commit c82238b0b6
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 311a3dff1453bbcb49ca0c64cb80373309357cb7 Subproject commit 3d0cc9eac393ce9e202112e071584c0763d4aa11