diff options
author | Akira Baruah <akira.baruah@gmail.com> | 2017-10-11 11:32:50 +0200 |
---|---|---|
committer | Marcel Hlopko <hlopko@google.com> | 2017-10-11 13:57:44 +0200 |
commit | 0a63dadf4eafbae1730f88644b0c537fb1c16d5c (patch) | |
tree | 48a05dc9bb3b90c75695f642d212a58bb5f665c2 /src/main/java/com/google/devtools/common/options/ExpansionContext.java | |
parent | 8e04f24517feb48024f21aa2cf672550463107cf (diff) |
Properly escape GitHub repository download URL for git_repository w/ sha256
Addresses #3661
Closes #3770.
PiperOrigin-RevId: 171797773
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/ExpansionContext.java')
0 files changed, 0 insertions, 0 deletions