No matches were found for subject:"\[Freeciv\-Dev\] \(PR#40424\) \[Patch\] Make it possible to build Lighthouse \& Magellan when adjacent to deep ocean"