widelands

  1. Bug #1643284
  2. Comment #20

Comment 20 for bug 1643284

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

Since getting a test for this seems a bit or work, let's just have the fix for now.