tree e8d3352846f1085e3d7d82ae54be793921970a3a
parent 292fdd774462498363035424dd0b163ac04aa44c
author PJ <pjo@google.com> 1397512482 -0700
committer PJ <pjo@google.com> 1397513949 -0700

make full and incremental push messages consistent