From 8efbadcde49da67a9d9ed6491c0012caf83c24e3 Mon Sep 17 00:00:00 2001 From: Dave Challis Date: Mon, 28 May 2018 18:21:10 +0100 Subject: [PATCH] Point rabit submodule at latest commit from master. (#3330) --- rabit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rabit b/rabit index a764d45cf..fc5072b10 160000 --- a/rabit +++ b/rabit @@ -1 +1 @@ -Subproject commit a764d45cfb438cc9f15cf47ce586c02ff2c65d0f +Subproject commit fc5072b1000294e9c10487f5f535b3aa4e2c50be