Re: get_random_int() should use hash[1]

From: George Spelvin
Date: Tue Aug 16 2011 - 06:30:35 EST