tree 3cfec9169a849570f381c4a644e000d16af33ffa
parent dfb9884dbcbf2ea789e097d5a0edc1d8d13aae79
author Dave Borowitz <dborowitz@google.com> 1499276725 -0400
committer Dave Borowitz <dborowitz@google.com> 1500306995 -0400

BatchRefUpdate: Document when getPushOptions is null

Change-Id: I4cccda0ec3a8598edb723dc49101a16d603d1e82