Merge "registration: Allow the mtime of extension.json files to be zero"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 7 Jun 2018 18:10:54 +0000 (18:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 7 Jun 2018 18:10:54 +0000 (18:10 +0000)
commitb0dab786c129f2e0e2a29b7b1ec3035808002137
tree17a06b613bf8e3dead63c571e97602c6c63d4c29
parentb045f1d9e79ad9026d471f2069482b5aa725284b
parentd7d5d3c82a84338bd2669284427193ea7a80bdbc
Merge "registration: Allow the mtime of extension.json files to be zero"