No matches were found for subject:"\[Freeciv\-Dev\] \[bug #17917\] Leaders not erased from leader list in Pick Nation dialog"