Follow-up Comment #10, bug #21523 (project freeciv): > Maybe should we commit the patch and keep this ticket open for > eventual further details?
You're sure it fixes something, aren't you? There's just the question if the problem I reported was the one being fixed? So obviously the fix should be committed. For the ticket I'm confident enough that the fix is for the problem in question (it would be statistically rather unlikely that no random autogame with the fix has hit the problem in the days passed when without the fix there was 4 failures in 12 hours), so I'd close the ticket once patch is applied, and reopen if problem occurs again. _______________________________________________________ Reply to this item at: <http://gna.org/bugs/?21523> _______________________________________________ Message sent via/by Gna! http://gna.org/ _______________________________________________ Freeciv-dev mailing list Freecivemail@example.com https://mail.gna.org/listinfo/freeciv-dev