tree 88ada8f41d27498fc8e09fe7ec81766514b8ddc9
parent efb38794c880510c943973570eab8301cc269a28
parent 20eecebd25a260d3e3accdf05fd6fb4576b74517
author Android (Google) Code Review <android-gerrit@google.com> 1248278480 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1248278480 -0700

Merge change 8193 into donut

* changes:
  Add one more pixel of padding to the top of the Google logo used in the search widget.