tree 876f9d92ac2170a7f7afd9d18861762bec6fa99b
parent 2ef935e0a97a91486cc8bffde12b816664d6756b
parent e792db3ff624ad4d875a7ec25c949c1d1b0b6bbb
author Michael Jurka <mikejurka@google.com> 1348613335 -0700
committer Android Git Automerger <android-git-automerger@android.com> 1348613335 -0700

am e792db3f: am 37990b4b: Fix # 6925851: Workspace page spacing gets messed up

* commit 'e792db3ff624ad4d875a7ec25c949c1d1b0b6bbb':
  Fix # 6925851: Workspace page spacing gets messed up