tree b9932375b9f54b382f27f116beb30a1f5a2d48e4
parent 7fc6e87b041f5fedaf478349fdb01462d7e0a0ca
author Andres Erbsen <andreser@google.com> 1402332153 -0700
committer Andres Erbsen <andreser@google.com> 1402332155 -0700

Caveats for minting 3rd-party caveat discharges.

Change-Id: I55022d67299650f342435e282284750485ad04e3