URL:
<http://gna.org/bugs/?22948>
Summary: remove_player_from_maps() does not handle
extras_owner pointers
Project: Freeciv
Submitted by: cazfi
Submitted on: Wed 12 Nov 2014 03:22:31 AM EET
Category: general
Severity: 3 - Normal
Priority: 5 - Normal
Status: In Progress
Assigned to: cazfi
Originator Email:
Open/Closed: Open
Release:
Discussion Lock: Any
Operating System: None
Planned Release: 2.6.0
_______________________________________________________
Details:
I have to check that more carefully but it seems like a bug.
_______________________________________________________
Reply to this item at:
<http://gna.org/bugs/?22948>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Freeciv-dev mailing list
[email protected]
https://mail.gna.org/listinfo/freeciv-dev
