Subject: Re: bug#27250: [PATCH] gnu: crawl: Update to 0.20.0.

From: Arun Isaac <[email-masked]>
Date: Mon, 12 Jun 2017 15:06:42 +0530

Pushed!

crawl and crawl-tiles built successfully on my machine at least
once. Let's see what happens on the build farm.