Merge "Remove reference to deleted file"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 Jan 2014 12:08:15 +0000 (12:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 Jan 2014 12:08:15 +0000 (12:08 +0000)
commitc75c48c31ebedd1d0ec2bdae9e41d4417d9a8452
tree271af243b7871aec8d8ffccdf6894a1993086856
parentad22c0c6ef26a6c365fcda798daafd058e2be88c
parentc817809a11cd37477df920e0f6081d041ad69c47
Merge "Remove reference to deleted file"