tree 2c73fbfd7864c5359d517a12be990a5c0520f585
parent 21a0fb7cf230fccd67fd72f6e3f84a2448d454b7
parent f51025feaa1f5a6f9ced4e381a9c75069123f6eb
author Winson Chung <winsonc@google.com> 1336084803 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1336084803 -0700

Merge "Workaround for default workspace widgets not getting notified for new widget sizes. (Bug 6439962)" into jb-dev