tree 146ba717c6706546ae86c047059aaa911cf09834
parent 52f720fe0507f6c8103db339cb34cb5283038385
author jat@google.com <jat@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1277230410 +0000
committer jat@google.com <jat@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1277230410 +0000

Work around Safari 5 failures where right-shift of a non-integer is not
coerced to an integer.

See https://bugs.webkit.org/show_bug.cgi?id=40367 and
http://trac.webkit.org/changeset/60990 for details.

Patch by: jat
Review by: spoon, jgw


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@8300 8db76d5a-ed1c-0410-87a9-c151d255dfc7