No matches were found for subject:"\[Freeciv\-Dev\] \[patch #7500\] Make client gui_type available to server Lua script \(and hence tutorial\)"