18:34:13 New branch created: pull/3348 (1 commit) 13https://github.com/crawl/crawl/pull/3348 18:34:13 03yrdzrfxndfvh02 {GitHub} 07https://github.com/crawl/crawl/pull/3348 * 0.31-a0-1006-g97473bcc71: new pillars 10(10 minutes ago, 1 file, 46+ 0-) 13https://github.com/crawl/crawl/commit/97473bcc7157 18:44:24 03yrdzrfxndfvh02 {GitHub} 07https://github.com/crawl/crawl/pull/3348 * 0.31-a0-1007-g5bb2d78836: womp womp 10(4 minutes ago, 1 file, 1+ 1-) 13https://github.com/crawl/crawl/commit/5bb2d7883646