[MediaWiki-commits] [Gerrit] VisualEditor/VisualEditor[master]: VisualDiff: Merge old internal list into new document

2017-08-11 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/371515 ) Change subject: VisualDiff: Merge old internal list into new document .. VisualDiff: Merge old internal list into new document

[MediaWiki-commits] [Gerrit] VisualEditor/VisualEditor[master]: VisualDiff: Merge old internal list into new document

2017-08-11 Thread Tchanders (Code Review)
Tchanders has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/371515 ) Change subject: VisualDiff: Merge old internal list into new document .. VisualDiff: Merge old internal list into new document The new do