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

From: Arun Isaac <[email-masked]>
Date: Sat, 10 Jun 2017 17:09:32 +0530

I'm unable to figure out the issue. This being just a simple update
patch, I think I'll just push it, and we'll see what happens at the
build servers. If there are subsequent problems, we'll fix it up
later. WDYT?