11:36:46 03dilly02 {GitHub} 07https://github.com/crawl/crawl/pull/2769 * 0.30-a0-212-gffa6b3d61e: Update player.cc 10(3 minutes ago, 1 file, 4+ 2-) 13https://github.com/crawl/crawl/commit/ffa6b3d61e32