tree 5ee7162970c067149edff102ad419254b0bad19b
parent 3e1006add3dbfa577b79fc0f016758f048a5dabc
parent 88475d607d57ca0c0f75b0bd3ddf4e33a25c0f49
author Dave Burke <daveburke@google.com> 1340926678 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1340926678 -0700

Merge "grouper: update prebuilt kernel" into jb-dev