From dfc298e05b9c5007752c2f8fd541c3e531024359 Mon Sep 17 00:00:00 2001
From: Daniel Freedman <dfreedm@google.com>
Date: Mon, 5 Aug 2013 11:12:13 -0700
Subject: [PATCH] update tools

---
 tools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools b/tools
index d4194fe..313f752 160000
--- a/tools
+++ b/tools
@@ -1 +1 @@
-Subproject commit d4194fed0aa30e89fd3ba405f64ade3e45bd6d47
+Subproject commit 313f7524ce37689ebfb60c81f7bda721535467cf