tree 387823931e8cf315d1e38ebece36874c7e780710
parent 87557bd6ad898a0b0fece40aec551537fa11c490
author Cosmos Nicolaou <cnicolaou@google.com> 1447823913 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1447825859 +0000

TBR: v.io/jiri/profiles/commandline: fix bug in --ensure-specific-versions-are-set.

Change-Id: I6b4a1706c247b842a47a168d386c2e16826f10e3