[debbugs-tracker] bug#27250: closed ([PATCH] gnu: crawl: Update to 0.20.0.)

[GNU bug Tracking System]

Your message dated Mon, 12 Jun 2017 15:06:42 +0530
with message-id <address@hidden>
and subject line Re: bug#27250: [PATCH] gnu: crawl: Update to 0.20.0.
has caused the debbugs.gnu.org bug report #27250,
regarding [PATCH] gnu: crawl: Update to 0.20.0.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
27250: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=27250
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] gnu: crawl: Update to 0.20.0. Date: Mon, 5 Jun 2017 15:31:56 +0200 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1

Hello, this updates crawl to 0.20.0 which came out about a week ago.
crawl-tiles indirectly updated through inheritance.

I also wrote a patch to make crawl upgrade cached strings in the SAVEDIR
by release version in addition to mtime. Without this patch crawl will
not detect that there is a new version installed and will not upgrade
files in ~/.crawl/saves/db/, because guix sets all the timestamps on the
installed files to 1970.

I will attempt to get this patch into crawl master.

Announcement for this release:
https://crawl.develz.org/wordpress/crawl-0-20-scarf-our-wanderful-fried-frogs
Changelog for this release:
https://github.com/crawl/crawl/blob/stone_soup-0.20/crawl-ref/docs/changelog.txt

0001-gnu-crawl-Update-to-0.20.0.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#27250: [PATCH] gnu: crawl: Update to 0.20.0.
>
>
>
>
> 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.
>
>
> --- End Message ---