From: Justin Pettit <jpettit@nicira.com>
Date: Thu, 18 Sep 2008 21:26:07 +0000 (-0700)
Subject: Update pointer to "ext" to contain latest changes.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=48a061053a0b77ec381a5bd9b5bd5e6b0bdaa704;p=openvswitch

Update pointer to "ext" to contain latest changes.
---

diff --git a/ext b/ext
index 8b0e1839..b94fe70e 160000
--- a/ext
+++ b/ext
@@ -1 +1 @@
-Subproject commit 8b0e18397a71a42c62485bf7338a0f6b6b24dcad
+Subproject commit b94fe70ec8917961aa63515583d2c7b080aebe4b