From 57538017f33f2aa7ba1bce755bb6bd6cd3fe294b Mon Sep 17 00:00:00 2001
From: root <root@xvm.mit.edu>
Date: Fri, 6 Jul 2012 13:51:58 -0400
Subject: [PATCH] Update xvm-devconfig to version 0.71

Requested by quentin/root@ATHENA.MIT.EDU
---
 xvm-devconfig |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xvm-devconfig b/xvm-devconfig
index 8d5fc50..0b5943c 160000
--- a/xvm-devconfig
+++ b/xvm-devconfig
@@ -1 +1 @@
-Subproject commit 8d5fc50d5f16306020844f93e529eb3598fa1025
+Subproject commit 0b5943cc62d065be001942704fca2ee7e59e83f4
-- 
1.7.9.5