[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnubg] Player Record bug - update
From: |
Joern Thyssen |
Subject: |
Re: [Bug-gnubg] Player Record bug - update |
Date: |
Mon, 30 Sep 2002 20:20:45 +0000 |
User-agent: |
Mutt/1.4i |
On Mon, Sep 30, 2002 at 12:20:29PM -0700, Ned Cross wrote
> I should also add: my /gnubg directory now also contains a series of files
> named .gnupr123456, where 123456 is some apparently random 6-digit code
> relating to each match or each time when I attempted to add to player
> records.
Hmm, I've checked in some experimental code. Hopefully it fixes the
problem, or at least it may provide us with some more information.
Can you check with the next build, please?
Jørn
--
Joern Thyssen, PhD
Vendsysselgade 3, 3., DK-9000 Aalborg, Denmark
+45 9813 2791 (private) / +45 2818 0183 (mobile) / +45 9633 7036 (work)
Note: new mobile number!