From 389a931ad2883887d8e983dce423a6ed7535cc9c Mon Sep 17 00:00:00 2001
From: Elazar Gershuni <elazarg@gmail.com>
Date: Thu, 11 Apr 2019 15:36:30 +0300
Subject: [PATCH] bump crab

---
 external/crab | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/crab b/external/crab
index e4f86edf6..b81392a24 160000
--- a/external/crab
+++ b/external/crab
@@ -1 +1 @@
-Subproject commit e4f86edf608dd0e8af2e9afecf759c8f8e48d4fe
+Subproject commit b81392a24ef8494d47d8b7354379fd4f944544b5