GNU bug report logs - #27250
[PATCH] gnu: crawl: Update to 0.20.0.

Previous Next

Full log

View this message in rfc822 format

From: nee <nee <at> cock.li>
To: 27250 <at> debbugs.gnu.org
Subject: bug#27250: [PATCH] gnu: crawl: Update to 0.20.0.
Date: Sat, 10 Jun 2017 21:10:45 +0200

[Message part 1 (text/plain, inline)]

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.

[0001-gnu-crawl-Add-a-patch-to-fix-savegame-upgrades.patch (text/x-patch, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.