#48315: update_dumb_city() header referring to refresh_dumb_cities
Open Date: 2023-07-01 10:43
Last Update: 2023-07-08 11:08
URL for this Ticket:
https://osdn.net//projects/freeciv/ticket/48315
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=48315
---------------------------------------------------------------------
Last Changes/Comment on this Ticket:
2023-07-08 11:08 Updated by: cazfi
* Status Update from Open to Closed
* Resolution Update from Accepted to Fixed
---------------------------------------------------------------------
Ticket Status:
Reporter: cazfi
Owner: cazfi
Type: Bugs
Status: Closed
Priority: 5 - Medium
MileStone: 3.0.9
Component: Server
Severity: 5 - Medium
Resolution: Fixed
---------------------------------------------------------------------
Ticket details:
update_dum_city() header: "only used in refresh_dumb_cities;" - Should be "refresh_dumb_city()"
--
Ticket information of Freeciv project
Freeciv Project is hosted on OSDN
Project URL: https://osdn.net/projects/freeciv/
OSDN: https://osdn.net
URL for this Ticket:
https://osdn.net/projects/freeciv/ticket/48315
RSS feed for this Ticket:
https://osdn.net/ticket/ticket_rss.php?group_id=12505&tid=48315