widelands

  1. Bug #1643284
  2. Comment #10

Comment 10 for bug 1643284

Revision history for this message
TiborB (tiborb95) wrote : Re: ships of a fleet can have the same name

According to the description it seems to be an issue with remaining_shipnames_ list, as if it was not properly saved/reloaded - and got fully populated on load. Though code does not indicate such flaw.