tree 47c94eb4d12158684bb87be6d446fd9c4cfdff10
parent 542644020e7a1bbe1ad5599bd07d83481a6b9c8e
parent 2d441b9d1a4629bbbad9fe8869c40fdf5f763a27
author Michael Jurka <mikejurka@google.com> 1337106913 -0700
committer Android Git Automerger <android-git-automerger@android.com> 1337106913 -0700

am 2d441b9d: Merge "Preventing drawing pages in Workspace if possible" into jb-dev

* commit '2d441b9d1a4629bbbad9fe8869c40fdf5f763a27':
  Preventing drawing pages in Workspace if possible