tree d7d5159629f81ba70eb5c4ecc896cf87e4824bab
parent a57a216d2203eabd2e13a5caba27367aef53a095
author Todd Wang <toddw@google.com> 1454116038 -0800
committer Todd Wang <toddw@google.com> 1454116066 -0800

jiri: Fix bug in new "jiri update" wrt LoadManifest.

Change-Id: I87a8cb15acc29a541f16b4cde1d3ed92ec808749