mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-03 02:16:51 +00:00
65edcaf631
New changes: ca588de0d CommentAnnotation: Make deleteable 02eb9e835 Synchronizer: Fix defaultName config 4101ca058 Add removeEmptyLastChildOnEnter to CheckListNode 080317f9f CheckListNode: Flip margins based on content direction df1dbd0c4 Localisation updates from https://translatewiki.net. a55f5d7d9 Make undo concurrency-aware Bug: T185706 Change-Id: Id2b993eb6efcb0dde0c7d1ea1fc6a6cf91bc0e43 |
||
---|---|---|
.. | ||
proposal-promise-finally | ||
ve@2da36280a7 |