2005-07-26 Jeremy Katz <katzj@redhat.com>

	* gui-tags.txt: Remove unused file.

	* scripts/makestamp.py (opts): Fix from dgregor for passing
	timestamp in (#163875)

1 files changed, 2 insertions, 0 deletions

diff --git a/scripts/makestamp.py b/scripts/makestamp.py
index 226c8f853..d97ee6c4b 100755
--- a/scripts/makestamp.py
+++ b/scripts/makestamp.py
@@ -51,6 +51,8 @@ for (str, arg) in args:
 if data["timestamp"] is None:
     print >> sys.stderr, "timestamp not specified; using the current time"
     data["timestamp"] = time.time()
+else:
+    data["timestamp"] = float(data["timestamp"])
 
 if data["releasestr"] is None:
     print "What should be the release name associated with this disc?"