tree d56c1f433e9db6f238f6e23d31af3d38ba259fee
parent 19da321c9a27c3cfaddd31cfd36ce30da2648b99
parent f1ed59bcebfd3042aead8d91ee47eca38af543c6
author Dirk Dougherty <ddougherty@google.com> 1319230774 -0700
committer Android Git Automerger <android-git-automerger@android.com> 1319230774 -0700

am f1ed59bc: Merge "Doc change: fix typo in platform highlights." into ics-mr0

* commit 'f1ed59bcebfd3042aead8d91ee47eca38af543c6':
  Doc change: fix typo in platform highlights.