On Monday, April 15, 2013 at 11:43 AM, Diederik van Liere wrote:
Has this already happened or shall I open an RT ticket for it?
Already happened, AFAIK:
https://gerrit.wikimedia.org/r/#/c/55558/
https://gerrit.wikimedia.org/r/#/c/55568/
-- Ori Livneh