diff --git a/source_commit b/source_commit
index 32c254b4..7b0ec99c 100644
--- a/source_commit
+++ b/source_commit
@@ -1 +1 @@
-77c79557655db9d9f837fbf5530f6815d400dc8a
+a3c9c8d2b02a83ddad1eebbd5ed8e19a579396f9