Comment
Comment by pianoben
This change makes me SO HAPPY:
We've had some truly nasty bugs from people who weren't familiar with the prior behavior of having a default seed of zero for the global random-number generator. This is going to save many people so much heartache.