16:46:44 <Cheibriados> New branch created: pull/3016 (1 commit) 13https://github.com/crawl/crawl/pull/3016
16:46:44 <Cheibriados> 03robertxgray02 07https://github.com/crawl/crawl/pull/3016 * 0.30-a0-803-g6cbe64d241: Fix doc files wider than 80 characters This may seem like a non-issue nowadays, but it is if you are playing on a smartphone. 10(17 minutes ago, 2 files, 18+ 13-) 13https://github.com/crawl/crawl/commit/6cbe64d241a2
18:28:26 <Cheibriados> 03robertxgray02 07https://github.com/crawl/crawl/pull/3016 * 0.30-a0-803-g78849936cf: Fix doc files wider than 80 characters 10(2 hours ago, 2 files, 18+ 13-) 13https://github.com/crawl/crawl/commit/78849936cf26