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