diff --git a/third_party/f5 b/third_party/f5
index 3ec5583d..55494b30 160000
--- a/third_party/f5
+++ b/third_party/f5
@@ -1 +1 @@
-Subproject commit 3ec5583dc555af82f93579c1f516e439b408b160
+Subproject commit 55494b30028680324d5401feb66ae7a419a652ae