From 5f1920ec2276b31cd44aa33ffe5410536fb4d8fc Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Tue, 5 Jun 2001 07:27:51 +0000
Subject: [PATCH] Bump for 2.13 ( 5 Jun 2001)

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

diff --git a/Packages/Stream_support/version b/Packages/Stream_support/version
index 8dfcc79b543..1a705055e47 100644
--- a/Packages/Stream_support/version
+++ b/Packages/Stream_support/version
@@ -1 +1 @@
-2.12 (30 Jan 2001)
+2.13 ( 5 Jun 2001)