mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
9143155722
New changes: eeaebe220 Make deactivated selections grey 58b96ec5d Make null-selection-on-blur optional Bug: T219813 Bug: T219829 Change-Id: I0660c60860fd62e838a63aa841253ef19fb2a78a |
||
---|---|---|
.. | ||
proposal-promise-finally | ||
ve@2dc41ef9b3 |