[MediaWiki-commits] [Gerrit] mediawiki...deploy[master]: Update mathoid to fab5c3998
Mobrovac has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/367739 ) Change subject: Update mathoid to fab5c3998 .. Update mathoid to fab5c3998 List of changes: 8ccdd2abe Add the Dockerfile to be
[MediaWiki-commits] [Gerrit] mediawiki...deploy[master]: Update mathoid to fab5c3998
Ppchelko has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/367739 ) Change subject: Update mathoid to fab5c3998 .. Update mathoid to fab5c3998 List of changes: 8ccdd2abe Add the Dockerfile to be used in