Wrap-git files can have tags as well as commit ids. [skip ci]

pull/3423/head
Jussi Pakkanen 7 years ago
parent 185ae3d420
commit 0af029e08c
Loading…
Cancel
Save