[Freeciv-Dev] (PR#10983) Win32 server crash
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
<URL: http://rt.freeciv.org/Ticket/Display.html?id=10983 >
> [jdorje - Thu Nov 11 23:21:31 2004]:
>
> And a patch.
A few autogames revealed no measurable change in execution speed.
jason
|
|