12:36:29 <Cheibriados> New branch created: pull/5091 (1 commit) 13https://github.com/crawl/crawl/pull/5091
12:36:29 <Cheibriados> 03David Damerell02 07https://github.com/crawl/crawl/pull/5091 * 0.35-a0-54-g172c8631b3: Add rest_wait_ignore_mp option 10(1 year, 4 months ago, 4 files, 13+ 2-) 13https://github.com/crawl/crawl/commit/172c8631b31f
12:41:38 <Cheibriados> New branch created: pull/5093 (1 commit) 13https://github.com/crawl/crawl/pull/5093
12:41:38 <Cheibriados> 03David Damerell02 07https://github.com/crawl/crawl/pull/5093 * 0.35-a0-54-ga4d03a7c13: Restore old raven quote 10(4 minutes ago, 1 file, 6+ 0-) 13https://github.com/crawl/crawl/commit/a4d03a7c13c4