tree 607557f67c69aac44284e41d14ef6ef4f3d94908
parent 4f9b712fa851891f6a6b1c267dc67d168ae21cc2
author Cosmos Nicolaou <cnicolaou@google.com> 1452292661 -0800
committer Cosmos Nicolaou <cnicolaou@google.com> 1452292693 -0800

v.io/jiri/profiles: simple bug fix.

Change-Id: Ie38762285aba7ad416d82f82af96bc9fb46af9fb