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