03:09:22 <Cheibriados> 03noncinque02 {GitHub} 07https://github.com/crawl/crawl/pull/5317 * 0.35-a0-913-gb306a67081: Merge branch 'crawl:master' into master 10(2 minutes ago, 0 files, 0+ 0-) 13https://github.com/crawl/crawl/commit/b306a670810c
03:25:00 <Cheibriados> 03Brian Power02 07https://github.com/crawl/crawl/pull/5366 * 0.35-a0-847-ge6d499d93a: i18n: Rename a variable to make its meaning clearer 10(4 minutes ago, 1 file, 9+ 9-) 13https://github.com/crawl/crawl/commit/e6d499d93a95
04:58:42 <Cheibriados> 03noncinque02 {GitHub} 07https://github.com/crawl/crawl/pull/5317 * 0.35-a0-914-g6e82ebec81: Update branches.txt 10(74 seconds ago, 1 file, 13+ 14-) 13https://github.com/crawl/crawl/commit/6e82ebec815e