20:38:11 New branch created: pull/3355 (1 commit) 13https://github.com/crawl/crawl/pull/3355 20:38:11 03William Crittenden02 {GitHub} 07https://github.com/crawl/crawl/pull/3355 * 0.31-a0-1060-g04681ca70d: fix: manual update ctrl-O 10(3 minutes ago, 1 file, 3081+ 0-) 13https://github.com/crawl/crawl/commit/04681ca70d18