Merge "Add devunt to CREDITS as patch contributor"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 12 Apr 2013 00:54:25 +0000 (00:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 12 Apr 2013 00:54:25 +0000 (00:54 +0000)
commit3e65b390b91a987affa7faf603a4eee614f5f4d5
tree1264862fcd0caa2a0abb01857374576469590cdd
parentdfd1efa0f4fe80352f0ab164a6d5ce0607495838
parent9af89d7432d45b62c4ae1e855fa2e06a41713e57
Merge "Add devunt to CREDITS as patch contributor"
CREDITS