Merge BoringSSL 40e8c92: change URL type in third_party METADATA files to GIT

This commit is contained in:
Brian Smith 2018-04-30 13:58:42 -10:00
commit c0edcaa76b

View File

@ -4,7 +4,7 @@ description:
third_party {
url {
type: HOMEPAGE
type: GIT
value: "https://github.com/mit-plv/fiat-crypto"
}
version: "6c4d4afb26de639718fcac39094353ca7feec365"