[MediaWiki-commits] [Gerrit] Polish up mathoid jobs - change (integration/config)

2015-07-01 Thread jenkins-bot (Code Review)
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)

2015-07-01 Thread Hashar (Code Review)
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