David Cole d6fe0438c1 Fix issue #9851 - only seed the random number generator on the first call to STRING(RANDOM or if given the new RANDOM_SEED argument. Add test and documentation of new argument.

2009-11-06 10:07:10 -05:00

20 KiB

Raw Blame History

View Raw