From c7efefbe31dfca0773ff38142f87d90da9694979 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Tue, 5 Feb 2002 10:20:20 +0000
Subject: [PATCH] Bump for 0.12.2 ( 5 Feb 2002)

---
 Packages/Min_sphere_d_new/version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Packages/Min_sphere_d_new/version b/Packages/Min_sphere_d_new/version
index c6c05e4c5bc..4da01027edc 100644
--- a/Packages/Min_sphere_d_new/version
+++ b/Packages/Min_sphere_d_new/version
@@ -1 +1 @@
-0.12.1 (16 Jul 2001)
+0.12.2 ( 5 Feb 2002)