-
Committer:
Jelmer Vernooij
-
Date:
2019-10-20 02:08:44 UTC
-
mto:
This revision was merged to the branch mainline in
revision
7406.
-
Revision ID:
jelmer@jelmer.uk-20191020020844-rpdqn2ug00vv8srx
Cope with non-commit tags in remote git repositories.