tree 258470da6dacd3d6d4df6e7525cacfc81bf2d6f6
parent 10f92e0b17bfa239e194566b8144c4cd755ad4a0
author Tim Zhou <timzhou@google.com> 1704909337 +0000
committer Tim Zhou <timzhou@google.com> 1704909337 +0000

If pretty=fuller set verbose to true

Change-Id: Ieee307546c1edbd4193d0a8dd3d8ed9fe85da5e7