09:38:33 <Cheibriados> New branch created: pull/4212 (1 commit) 13https://github.com/crawl/crawl/pull/4212
09:38:33 <Cheibriados> 03radio-gra02 07https://github.com/crawl/crawl/pull/4212 * 0.33-a0-648-gc6214344b9: Clarify options_guide.txt regarding player-defined dump sections 10(18 minutes ago, 1 file, 16+ 2-) 13https://github.com/crawl/crawl/commit/c6214344b932
15:51:04 <Cheibriados> New branch created: vaultupdates (1 commit) 13https://github.com/crawl/crawl/tree/vaultupdates
15:51:04 <Cheibriados> 03hellmonk02 07[vaultupdates] * 0.33-a0-648-gcfdbf87da5: update a zot vault + a new one 10(42 seconds ago, 1 file, 33+ 1-) 13https://github.com/crawl/crawl/commit/cfdbf87da5ea
16:17:32 <Cheibriados> 03hellmonk02 07[vaultupdates] * 0.33-a0-649-geedfef7a78: add shoppers 10(11 minutes ago, 1 file, 5+ 4-) 13https://github.com/crawl/crawl/commit/eedfef7a7804
19:59:27 <Cheibriados> 03Implojin02 07* 0.33-a0-648-gd80f97202f: Dig for Victory! 10(31 minutes ago, 1 file, 3+ 1-) 13https://github.com/crawl/crawl/commit/d80f97202f38
20:37:19 <Cheibriados> 03gammafunk02 07* 0.33-a0-649-g5bcc8a2132: Tweak Victory placement 10(7 minutes ago, 1 file, 2+ 3-) 13https://github.com/crawl/crawl/commit/5bcc8a213248