diff --git a/third_party/a8 b/third_party/a8
index 9dcbd24f..380074e2 160000
--- a/third_party/a8
+++ b/third_party/a8
@@ -1 +1 @@
-Subproject commit 9dcbd24fd400d18efd30ba314aea3c7415477f02
+Subproject commit 380074e2f78043a71b134c420af20b00127b1967