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

1 job for master in 15 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #2347
run_tests

00:00:15