01:58:38 03PleasingFungus02 07* 0.30-a0-1157-g2cc9ac7196: Revert "fix: disable some errors on dgl builds" 10(50 seconds ago, 1 file, 3+ 1-) 13https://github.com/crawl/crawl/commit/2cc9ac719617 07:24:23 03advil02 07* 0.30-a0-1158-gd85ba11b5a: fix: redo disable some errors on dgl builds 10(8 minutes ago, 1 file, 5+ 3-) 13https://github.com/crawl/crawl/commit/d85ba11b5aac 17:08:41 03advil02 07* 0.30-a0-1159-g7bafe92a0b: fix: add some missing explore_stop aliases 10(42 seconds ago, 1 file, 2+ 2-) 13https://github.com/crawl/crawl/commit/7bafe92a0bf4 17:38:22 03advil02 07* 0.30-a0-1160-g6e42c06551: fix: improve some options errors 10(25 seconds ago, 2 files, 12+ 3-) 13https://github.com/crawl/crawl/commit/6e42c0655139