refs/tags/v1.12.13 - git-repo

tag: 1e6fcbc1ea7b359ab8d2ed119bdab272d14a47fe
tagger: Conley Owens <cco3@android.com>
Thu Jan 30 16:23:32 2014 -0800
object: 5db69f3f6616ea199a7840f0602b988f8d5504b9

repo 1.12.13

commit: 5db69f3f6616ea199a7840f0602b988f8d5504b9
[log] [tgz]
author: Conley Owens <cco3@android.com>
Thu Jan 30 16:00:35 2014 -0800
committer: Conley Owens <cco3@android.com>
Thu Jan 30 16:00:35 2014 -0800
tree: cdf4cacdba2b88edc5605161cba4db2903e4d719
parent: ff0a3c8f80339960623acf76ec2bb6c1ad61c352 [diff]

Update the version number on the repo launcher

The repo launcher version needs to be updated so some users can take
advantage of the more robust version number parsing.

Change-Id: Ibcd8036363311528db82db2b252357ffd21eb59b

repo[diff]

1 file changed

tree: cdf4cacdba2b88edc5605161cba4db2903e4d719