Aaron Schulz has uploaded a new change for review.
https://gerrit.wikimedia.org/r/113481
Change subject: Update the DB output hash if outdated according to texvc
..
Update the DB output hash if outdated according to texvc
* O
jenkins-bot has submitted this change and it was merged.
Change subject: Update the DB output hash if outdated according to texvc
..
Update the DB output hash if outdated according to texvc
* Otherwise all future hits will che
jenkins-bot has submitted this change and it was merged.
Change subject: Update the DB output hash if outdated according to texvc
..
Update the DB output hash if outdated according to texvc
* Otherwise all future hits will che
Aaron Schulz has uploaded a new change for review.
https://gerrit.wikimedia.org/r/113480
Change subject: Update the DB output hash if outdated according to texvc
..
Update the DB output hash if outdated according to texvc
* O