From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Mon, 11 Nov 2013 16:47:39 +0000 (+0000)
Subject: Merge "Revert "DifferenceEngine cleanup""
X-Git-Tag: 1.31.0-rc.0~18193
X-Git-Url: https://git.cyclocoop.org/%20%27.%28%24debut%20%20%20%24par_page%29.%27?a=commitdiff_plain;h=10e909590a3f18148c9072bd4c2676c2d3e2bc9e;p=lhc%2Fweb%2Fwiklou.git

Merge "Revert "DifferenceEngine cleanup""
---

10e909590a3f18148c9072bd4c2676c2d3e2bc9e