diff options
| author | Julien Tanguy <julien.tanguy@jhome.fr> | 2019-09-11T12·18+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2019-10-09T14·25+0200 |
| commit | ceddbc921f01da45af7c78833cc0355bdfe3b189 (patch) | |
| tree | 7a54c0bc35b3c755f703e70fdca2f87732c27325 /src/libmain/shared.cc | |
| parent | 62d1c60fb36b57432bfb7cd7c9086d8c4450484c (diff) | |
docs: Use the explicit ref for fetchGit with a tag
With the merge of #2582, the syntax "tags/1.9" for refs does not work anymore. However, the new syntax "refs/tags/1.9" seems to support annotated tags, such as "refs/tags/2.0". Closes #2385. (cherry picked from commit ae244af242ca3621e5a3b9196f27d9fcbf297266)
Diffstat (limited to 'src/libmain/shared.cc')
0 files changed, 0 insertions, 0 deletions