Merge "docs/install-instr: Fix git clone URL for HTTPS."
authorAlexandru Avadanii <Alexandru.Avadanii@enea.com>
Thu, 12 May 2016 13:59:26 +0000 (13:59 +0000)
committerGerrit Code Review <gerrit@172.30.200.206>
Thu, 12 May 2016 13:59:26 +0000 (13:59 +0000)

Trivial merge