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

- fuchsia/tools/jiri/${platform}

Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/infra/recipes/+/1171945
Original-Revision: 9b71afc00cb50feb8df99797400fae49361e1213
GitOrigin-RevId: 519992dc46ce29a5182d5731e25e7a0dedea3c20
Change-Id: Ie756b51ee6410a7c58748f9ec1ab2e789c235eb5

Author: global-integration-roller

infra/recipes

@@ -11,6 +11,6 @@
              path="infra/recipes"
              remote="https://fuchsia.googlesource.com/infra/recipes"
              gerrithost="https://fuchsia-review.googlesource.com"
-             revision="5a1f1548c5a524cc22593493076d8777c32854e9"/>
+             revision="9b71afc00cb50feb8df99797400fae49361e1213"/>
   </projects>
 </manifest>