Make randomNumber generate 2^53 values instead of 2^32 (or 2^31 for rand() platforms)
[WebKit-https.git] / symbols.filter
2008-08-28 zecke@webkit.org2008-08-27 Mike Hommey <glandium@debian.org>