summaryrefslogtreecommitdiff
path: root/WORKSPACE
diff options
context:
space:
mode:
authorJoshua Haberman <jhaberman@gmail.com>2019-05-14 15:07:05 -0700
committerJoshua Haberman <jhaberman@gmail.com>2019-05-14 15:07:05 -0700
commit717db51700c0477397867d4ff5370cd194cd7991 (patch)
tree52292af494d48aeb3de8839657e372a9b2f2e677 /WORKSPACE
parent1cf4af7b2c3ef7d4795aed2bda936e8e5c43fd02 (diff)
Updated protobuf to the main branch again.
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE6
1 files changed, 2 insertions, 4 deletions
diff --git a/WORKSPACE b/WORKSPACE
index a847b51..74c41c5 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -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(
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback