diff --git a/source_commit b/source_commit
index ea0b2130..7fdf18b6 100644
--- a/source_commit
+++ b/source_commit
@@ -1 +1 @@
-9c3a8787effba4b984c871955634307d2e2ec00c
+8a0b3803c7a101ced713a5ceaeb85d692798d40d