From 6ba307dccf23f66e118f1441765bbbbfab386c66 Mon Sep 17 00:00:00 2001 From: Mizux Date: Tue, 4 Dec 2018 17:36:44 +0100 Subject: [PATCH] Update WORKSPACE Bump gflags to v2.2.2 --- WORKSPACE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/WORKSPACE b/WORKSPACE index 086efd07c74..2c43128082f 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -1,8 +1,8 @@ #Import the gflags files. git_repository( name = "com_github_gflags_gflags", - commit = "f8a0efe03aa69b3336d8e228b37d4ccb17324b88", remote = "https://github.com/gflags/gflags.git", + tag = "v2.2.2", ) #Import the glog files.