From 6552e849e614d98e5071f8a215841b50c2cd3ea0 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Wed, 18 Jul 2001 13:26:59 +0000
Subject: [PATCH] Bump for 4.28 (18 Jul 2001)

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

diff --git a/Packages/Number_types/version b/Packages/Number_types/version
index 27681a62f04..b9c9194a258 100644
--- a/Packages/Number_types/version
+++ b/Packages/Number_types/version
@@ -1 +1 @@
-4.27 (06 Jul 2001)
+4.28 (18 Jul 2001)