From e20de64b8c4f023db5cfc88a3d2847ae8fdbe656 Mon Sep 17 00:00:00 2001
From: Yunsup Lee <yunsup@cs.berkeley.edu>
Date: Thu, 6 Feb 2014 00:30:31 -0800
Subject: [PATCH] rocket sync up

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

diff --git a/rocket b/rocket
index 3a723ddf..42f215b3 160000
--- a/rocket
+++ b/rocket
@@ -1 +1 @@
-Subproject commit 3a723ddfeee470cb3a8837073f623716b63553d5
+Subproject commit 42f215b37a89037be2065ada25d078409f81bcdb