From 458cb56f75fc0eccd6bcad8b9ee6f3ae7aba0984 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 21 Sep 2011 15:29:25 +0200 Subject: [PATCH] synch with Nino --- ext/server/nino | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ext/server/nino b/ext/server/nino index 9fef2d71..58767bb1 160000 --- a/ext/server/nino +++ b/ext/server/nino @@ -1 +1 @@ -Subproject commit 9fef2d71f053c32c9e4c55984d53ebefe7a02c15 +Subproject commit 58767bb1c13e660ba446c3d83493b458105976e1