tree f86b4c212a20251c11157702a1e38e1cc447c5c9
parent 0bf95d9a81b82b4c2e25053e235724dfaab8a400
author Cosmos Nicolaou <cnicolaou@google.com> 1461086473 -0700
committer Cosmos Nicolaou <cnicolaou@google.com> 1461086515 -0700

v.io/x/devtools: fix bug v.io/i/1300.

Change-Id: Id229c43c8de4e82c3dbc97fd5eb895c6f285ab8d