diff options
author | Makarand Dharmapurikar <makarandd@google.com> | 2017-02-22 14:32:41 -0800 |
---|---|---|
committer | Makarand Dharmapurikar <makarandd@google.com> | 2017-02-22 14:32:41 -0800 |
commit | 4be62589004152e7575ee1808fd4f52d9134296c (patch) | |
tree | 64248c35d784e53ca1aa5c0c7af10e251bb88518 /WORKSPACE | |
parent | 86db6873db5b4f09a2a3d6b430db27ac0fd40445 (diff) |
updated to latest mongoose BUILD
Diffstat (limited to 'WORKSPACE')
-rw-r--r-- | WORKSPACE | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -70,8 +70,6 @@ local_repository( # used for tools/grpcz/grpcz_client git_repository( name = "mongoose_repo", - commit = "21b9ddd490783e3afaa0fa9b45d6c1133eb922dc", + commit = "4120a97945b41195a6223a600dae8e3b19bed19e", remote = "https://github.com/makdharma/mongoose.git" ) - - |