From a6cdec2b6b9502f393918dce189966d4f0c50306 Mon Sep 17 00:00:00 2001
From: root <root@xvm.mit.edu>
Date: Mon, 15 Jul 2013 21:43:52 -0400
Subject: [PATCH] Update invirt-dev to version 0.1.25

Requested by iannucci/root@ATHENA.MIT.EDU
---
 invirt-dev |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/invirt-dev b/invirt-dev
index a99f0f2..ddfae2e 160000
--- a/invirt-dev
+++ b/invirt-dev
@@ -1 +1 @@
-Subproject commit a99f0f2e083cdd32a49cfb7b80ced878813909cd
+Subproject commit ddfae2e7744dde1196eeeebf0746397e8bfb3cf8
-- 
1.7.9.5