02:49:25 <Cheibriados> 03David Damerell02 07https://github.com/crawl/crawl/pull/5091 * 0.35-a0-54-g09502ab5c8: Add rest_wait_ignore_mp option 10(1 year, 4 months ago, 4 files, 15+ 2-) 13https://github.com/crawl/crawl/commit/09502ab5c8d3