am 9905e740: (-s ours) am b08e3a87: am deb43702: Fix handling of unresolved references in verifier.

* commit '9905e740e3eded5d2ff403f7533cb52fdfb46bc1':
  Fix handling of unresolved references in verifier.