tree d533a55aa4c36d4438f1034b379fa8859c91c528
parent c819360633570b1bbc12a0660c500cbfc2db6ec6
parent 65aaf09f414adc3b9d9b961a07c42a996cf5634f
author Andrew Sapperstein <asapperstein@google.com> 1377205765 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1377205765 +0000

Merge "Prevent jumpy header." into jb-ub-mail-ur10