Logs for #nikola for 2017-08-21

15:09:21 -GitHub[nikola]:#nikola- [nikola] Kwpolska pushed 1 new commit to master: https://git.io/v5JKG
15:09:21 -GitHub[nikola]:#nikola- nikola/master c5d3e3f Chris Warrick: Restore doctype in header permalinks/deduplicate IDs filters...
16:39:32 -travis-ci:#nikola- getnikola/nikola#9470 (master - c5d3e3f : Chris Warrick): The build passed.
16:39:32 -travis-ci:#nikola- Change view: https://github.com/getnikola/nikola/compare/84b0c6231154...c5d3e3fac580
16:39:33 -travis-ci:#nikola- Build details: https://travis-ci.org/getnikola/nikola/builds/266833808
17:46:27 -GitHub[themes]:#nikola- [nikola-themes] gwax closed pull request #120: Introduce a more-minimal base theme. (master...base-austere) https://git.io/vHTMX