Logs for #nikola for 2018-07-10

11:17:48 <KwBot> [nikola] sebelk closed issue #3116: Math is not rendered at all https://github.com/getnikola/nikola/issues/3116
15:13:10 <KwBot> [nikola-themes] ianbarton opened issue #160: [canterville]  https://github.com/getnikola/nikola-themes/issues/160
15:34:57 <KwBot> [nikola] Kwpolska assigned issue #3115 to Kwpolska: remove monkey-patched DoitCommand.help https://github.com/getnikola/nikola/issues/3115
15:35:22 -GitHub[nikola]:#nikola- [nikola] Kwpolska created fix-3115 (+1 new commit): https://git.io/fNTfd
15:35:22 -GitHub[nikola]:#nikola- nikola/fix-3115 2060292 Chris Warrick: Fix #3115 — disable help monkeypatch for doit 0.31.0+...
15:35:40 -GitHub[nikola]:#nikola- [nikola] Kwpolska opened pull request #3117: Fix #3115 — disable help monkeypatch for doit 0.31.0+ (master...fix-3115) https://git.io/fNTfb
15:46:30 -travis-ci:#nikola- getnikola/nikola#10221 (fix-3115 - 2060292 : Chris Warrick): The build passed.
15:46:31 -travis-ci:#nikola- Change view: https://github.com/getnikola/nikola/commit/2060292fc3bb
15:46:31 -travis-ci:#nikola- Build details: https://travis-ci.org/getnikola/nikola/builds/402271381
16:49:14 <KwBot> [nikola] leingang opened issue #3118: plugin command - unknown extension error https://github.com/getnikola/nikola/issues/3118