tree 5d9d07b765eb9c7f0bf4f84948df8a8e9a28a7b0
parent 70b1a4f9229a36bac6340ec7eae2b2068baac96c
author Sigurd Meldgaard <sigurdm@google.com> 1628580790 +0200
committer Sigurd Meldgaard <sigurdm@google.com> 1631540685 +0200

Use uris for paths in git source descriptions (#3063)