tree 089c51dc2613c07635a2b42133c57d19471de072
parent 1683413f413eb1b77f527247db2df31eae93ee3a
author Ben Cheng <bccheng@google.com> 1348095841 -0700
committer Ben Cheng <bccheng@google.com> 1348107593 -0700

Print the revision number in the tombstone file.

Bug: 7168261
Change-Id: Icb412760d018e4bbb1a5d742ed7d484d5cf6b470