tree 59fbc9184836d656f8041bba580d4da26fc006c1
parent 171336be126743cf9042971fd076b955ad596ffa
parent fbafa63b339808bf8082b705c5121e529e8be29f
author Ben Cheng <bccheng@google.com> 1348172456 -0700
committer Android Git Automerger <android-git-automerger@android.com> 1348172456 -0700

am fbafa63b: Merge "Print the revision number in the tombstone file." into jb-mr1-dev

* commit 'fbafa63b339808bf8082b705c5121e529e8be29f':
  Print the revision number in the tombstone file.