Merge branch 'master' of git.autistici.org:ale/crawl

Status Job ID Name Coverage
  Test
passed #5575
run_tests

00:00:25