[MediaWiki-commits] [Gerrit] Polish up mathoid jobs - change (integration/config)
jenkins-bot has submitted this change and it was merged. Change subject: Polish up mathoid jobs .. Polish up mathoid jobs Debian glue is of no use since we no more deploy Mathoid via a Debian package but instead use the source/
[MediaWiki-commits] [Gerrit] Polish up mathoid jobs - change (integration/config)
Hello Mobrovac, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/222100 to review the following change. Change subject: Polish up mathoid jobs .. Polish up mathoid jobs Debian glue is of no u