00:00:11 <Cheibriados> 03WizardIke02 07* 0.34-a0-982-ga50f8efd80: Remove unused code from discover_mimic 10(68 seconds ago, 1 file, 0+ 5-) 13https://github.com/crawl/crawl/commit/a50f8efd802f
03:05:37 <Cheibriados> 03Darby02 07* 0.34-a0-983-gc4236cc629: Remove 4 of the 5 ladies of the lake 10(8 minutes ago, 1 file, 3+ 4-) 13https://github.com/crawl/crawl/commit/c4236cc629e6
05:47:04 <Cheibriados> 03WizardIke02 07* 0.34-a0-984-g469e5f41f7: Fix flash_view in tiles 10(7 minutes ago, 4 files, 18+ 23-) 13https://github.com/crawl/crawl/commit/469e5f41f78b
07:09:32 <Cheibriados> 03WizardIke02 07* 0.34-a0-985-g09e2fcb399: Remove old unused targeting overlays 10(22 minutes ago, 5 files, 0+ 51-) 13https://github.com/crawl/crawl/commit/09e2fcb399cb
08:12:53 <Cheibriados> 03WizardIke02 07* 0.34-a0-986-g934f5e3708: Fix graphical glitch with some doors created in wizmode 10(5 minutes ago, 1 file, 10+ 6-) 13https://github.com/crawl/crawl/commit/934f5e37088f
19:53:10 <Cheibriados> New branch created: pull/4842 (1 commit) 13https://github.com/crawl/crawl/pull/4842
19:53:10 <Cheibriados> 03mumra02 07https://github.com/crawl/crawl/pull/4842 * 0.34-a0-987-gd7da29b3e9: Use DejaVu Sans font by default in webtiles 10(8 minutes ago, 14 files, 68+ 16-) 13https://github.com/crawl/crawl/commit/d7da29b3e951
20:22:31 <Cheibriados> 03mumra02 07* 0.34-a0-987-ge7a429eae4: Use DejaVu Sans font by default in webtiles 10(38 minutes ago, 14 files, 68+ 16-) 13https://github.com/crawl/crawl/commit/e7a429eae49e
21:00:09 <Cheibriados> 03dolorous02 07* 0.34-a0-988-gdad79eb2a5: Fix spelling. 10(3 minutes ago, 7 files, 16+ 16-) 13https://github.com/crawl/crawl/commit/dad79eb2a5f2