Hello Christof:

In message <20180805062132.GP9331@edge.cmeerw.net>,
Christof Meerwald writes:
>Christof Meerwald added the comment:
>On Sat, Aug 04, 2018 at 10:56:49PM +0000, John Rouillard wrote:
>> So make sure you seed the random generator even if we don't use it in
>> the main roundup code. [...]
>
>But that's what seed_pseudorandom in client.py is for, isn't it? And I
>haven't changed that in this version of the patch. Note that if
>SystemRandom is available, this was so far the only instance where the
>default random number generator was re-seeded as well - so no change
>in that case.

I agree with your assessment. Thanks for the explanation.