[Freeciv-Dev] (PR#13342) pubserver 2.0 crash in found_new_tech

["Jason Short" <jdorje@xxxxxxxxxxxxxxxxxxxxx>]

<URL: http://bugs.freeciv.org/Ticket/Display.html?id=13342 >

> [jdorje - Tue Jun 28 02:25:58 2005]:

> That should work.  Could you make a patch for it?

Err, sorry, what I meant was: I don't think that's a good way to do it
(see previous email).  Sorry for the confusion...

We could take elfstone's "simple" patch for choose_random_tech.  I can't
see any problems with using that.  But it might be better just to leave
the buglet in 2.0 or to use the full fix (as in 13354).

-jason