Merge "Add cast to convert double to int"
authorAdrian Grange <agrange@google.com>
Thu, 12 Feb 2015 15:02:54 +0000 (07:02 -0800)
committerGerrit Code Review <gerrit@gerrit.golo.chromium.org>
Thu, 12 Feb 2015 15:02:54 +0000 (07:02 -0800)

Trivial merge