From 7f9035cb8d404f015b08ea9a92e27f019ec2d972 Mon Sep 17 00:00:00 2001
From: bwarsaw
Date: Thu, 12 Jul 2001 04:50:40 +0000
Subject: do_bump(): Use DD-MMM-YYYY date format.

---
 admin/bin/Release.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'admin')

diff --git a/admin/bin/Release.py b/admin/bin/Release.py
index 0ca64a2ba..91ec7478e 100755
--- a/admin/bin/Release.py
+++ b/admin/bin/Release.py
@@ -136,8 +136,7 @@ def do_bump(newvers):
         parts[1] = newvers
         text = VERSIONMARK.join(parts)
         parts = text.split(DATEMARK)
-        timestr = time.ctime(time.time())
-        parts[1] = timestr[4:11] + timestr[-4:]
+        parts[1] = time.strftime('%d-%b-%Y', time.localtime(time.time()))
         text = DATEMARK.join(parts)
         fp.seek(0)
         fp.write(text)
-- 
cgit v1.3.1