[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: nee
Subject: bug#27250: [PATCH] gnu: crawl: Update to 0.20.0.
Date: Sat, 10 Jun 2017 21:10:45 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1

Am 10.06.2017 um 13:39 schrieb Arun Isaac:
> 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?

Okay, maybe the buildfarm can give us some hints about this problem. In
the meantime there was another commit updating crawl to 0.20. I rebased
my patch to it. Please use this one. I tested it with --rounds=2 and
didn't run into any problems.

I also rebuilt 0.19.5 again and noticed that the 0.20 release adds 2 new
test cases. I haven't looked into them, but that could narrow down the
location of the problem.

Attachment: 0001-gnu-crawl-Add-a-patch-to-fix-savegame-upgrades.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]