diff options
author | Joshua Haberman <jhaberman@gmail.com> | 2019-05-14 15:07:05 -0700 |
---|---|---|
committer | Joshua Haberman <jhaberman@gmail.com> | 2019-05-14 15:07:05 -0700 |
commit | 717db51700c0477397867d4ff5370cd194cd7991 (patch) | |
tree | 52292af494d48aeb3de8839657e372a9b2f2e677 /WORKSPACE | |
parent | 1cf4af7b2c3ef7d4795aed2bda936e8e5c43fd02 (diff) |
Updated protobuf to the main branch again.
Diffstat (limited to 'WORKSPACE')
-rw-r--r-- | WORKSPACE | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -21,10 +21,8 @@ http_archive( git_repository( name = "com_google_protobuf", - commit = "c659a4a4db2e27463e51c732df25730973956be2", - #remote = "https://github.com/protocolbuffers/protobuf.git", - #commit = "78ca77ac8799f67fda7b9a01cc691cd9fe526f25", - remote = "https://github.com/haberman/protobuf.git", + remote = "https://github.com/protocolbuffers/protobuf.git", + commit = "d41002663fd04325ead28439dfd5ce2822b0d6fb", ) http_archive( |