Merge "docs: Rename README to README.md"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 10 May 2018 23:18:46 +0000 (23:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 May 2018 23:18:46 +0000 (23:18 +0000)
commit1fe29f298961d0bce154c8ae07b07c94274d6e5d
tree092bd37a293f0eccf53845014baf67ffcfc2e092
parent594e8559ffbc63314bfeae62c670509cb4858161
parentc0342da8e9a675ce6803d651a781addb801ef8f3
Merge "docs: Rename README to README.md"