tree e2a5cb35a8ea85984c7e4f92bac9fffd4d1e617c
parent c32ba1961e3451101ce94a26f83cf56681ff6414
parent 037552333182497e9e38bff984de44df0f93e54b
author Dan Willemsen <dwillemsen@google.com> 1441835051 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1441835051 +0000

Merge "Revert "GITC: Always update the gitc manifest from the repo manifest""