tree 0359aa53e655765cc6cfc810f98b0f5e8257ad91
parent b62dbe92b3e8e464f3108b2382cb240de2b5b151
parent f540acb873264d8ece01264eaee1a7a197bd6ee6
author Cosmos Nicolaou <cnicolaou@google.com> 1450833396 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1450833396 +0000

Merge "v.io/jiri: tidying up utilities routines"