Merge "Use lrand48 on Android"
authorJohann <johannkoenig@google.com>
Fri, 13 Jun 2014 17:51:49 +0000 (10:51 -0700)
committerGerrit Code Review <gerrit@gerrit.golo.chromium.org>
Fri, 13 Jun 2014 17:51:49 +0000 (10:51 -0700)

Trivial merge