[roll] Roll infra/recipes [roll] Update pinned tools

- fuchsia/tools/jiri/${platform}

Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/infra/recipes/+/1260087
Original-Revision: 9a1377302c7c6cc8b1d9ada28d8257bd373e01cd
GitOrigin-RevId: 7332abaa133c15ab8f31a8e0da71c7d241b14103
Change-Id: I9f5304b41cabf0853b66b0df5b32d10bd348e21e
diff --git a/infra/recipes b/infra/recipes
index 61f0047..20d84f2 100644
--- a/infra/recipes
+++ b/infra/recipes
@@ -11,6 +11,6 @@
              path="infra/recipes"
              remote="https://fuchsia.googlesource.com/infra/recipes"
              gerrithost="https://fuchsia-review.googlesource.com"
-             revision="faaa59e87b075c548b8b8a105859afbefcbd11cc"/>
+             revision="9a1377302c7c6cc8b1d9ada28d8257bd373e01cd"/>
   </projects>
 </manifest>