Issue 10025:  Let docs for random.seed() describe what it does, not how it does it.
The latter was slightly inaccurate.
1 file changed