Merge "Allow file headers to be refreshed from database"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 28 Nov 2017 09:46:30 +0000 (09:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 28 Nov 2017 09:46:30 +0000 (09:46 +0000)
commitfbbb79b1937d41fd572dd24eaa46adb1a40f2c6e
treeb8da7fd2a3f1166f7a44126fefd1457f3605975f
parent8d6a9af090b09a1321b6d84389a9beac4fc139a7
parentce1ce9a126b4ac6ac90dd721cd7770e6b1fd7dce
Merge "Allow file headers to be refreshed from database"