Last modified: 2013-06-12 01:54:38 UTC
It's a no-op, and is confusing. (But is it more confusing to list it?)
Related URL: https://gerrit.wikimedia.org/r/67922 (Gerrit Change I93ce05f7cbb28313a3f0827539f0528c366aeb7e)
Now merged.
Related URL: https://gerrit.wikimedia.org/r/68130 (Gerrit Change If48e001b92c217bee0a35b6da41d1c1ff0e3271c)
https://gerrit.wikimedia.org/r/68130 (Gerrit Change If48e001b92c217bee0a35b6da41d1c1ff0e3271c) | change APPROVED and MERGED [by jenkins-bot]