jenkins-bot has submitted this change and it was merged.
Change subject: Move Diff-related classes into namespace
..
Move Diff-related classes into namespace
Change-Id: If16ddd6f7b4840cb38e6f448e17cf23c3c6ea536
(cherry picked
Aude has uploaded a new change for review.
https://gerrit.wikimedia.org/r/163046
Change subject: Move Diff-related classes into namespace
..
Move Diff-related classes into namespace
Change-Id:
Aude has uploaded a new change for review.
https://gerrit.wikimedia.org/r/162628
Change subject: Move Diff-related classes into namespace
..
Move Diff-related classes into namespace
Change-Id:
Jeroen De Dauw has submitted this change and it was merged.
Change subject: Move Diff-related classes into namespace
..
Move Diff-related classes into namespace
Change-Id: If16ddd6f7b4840cb38e6f448e17cf23c3c6ea536
---
M