From e72b2a521fbba5e0c8224ae8b6ff1087a4814d79 Mon Sep 17 00:00:00 2001
From: root <root@xvm.mit.edu>
Date: Sun, 9 Sep 2012 16:33:51 -0400
Subject: [PATCH] Update xvm-devconfig to version 0.72

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 0b5943c..71587fc 160000
--- a/xvm-devconfig
+++ b/xvm-devconfig
@@ -1 +1 @@
-Subproject commit 0b5943cc62d065be001942704fca2ee7e59e83f4
+Subproject commit 71587fcceabfde7b448457f21b21f84c67e4c86e
-- 
1.7.9.5