[Freeciv-Dev] Re: (PR#9768) Re: (PR#9733) ocean patch bug
[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index] [Thread Index]
<URL: http://rt.freeciv.org/Ticket/Display.html?id=9768 >
Gregory Berkolaiko wrote:
> <URL: http://rt.freeciv.org/Ticket/Display.html?id=9768 >
>
> On Wed, 18 Aug 2004, Jason Short wrote:
>
>
>><URL: http://rt.freeciv.org/Ticket/Display.html?id=9733 >
>>
>>See PR#9637.
>>
>>Does this patch still need to be applied?
>
>
> I was about to apply it when I had a better idea. Since explorers are now
> PF-based, PF ensures that they don't go to wrong continents, so we can
> just skip the continent consideration altogether.
>
> New patch will be applied soon.
It might be good to add an assertion in case something changes elsewhere.
jason
|
|