From: Ben Pfaff <blp@gnu.org>
Date: Fri, 10 Aug 2007 04:49:58 +0000 (+0000)
Subject: Fix bug #18982.  Thanks to John Darrington for investigation,
X-Git-Tag: v0.6.0~321
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bf3da7e3a72705f3e9d0d09ba29039928dc64687;hp=bf3da7e3a72705f3e9d0d09ba29039928dc64687;p=pspp-builds.git

Fix bug #18982.  Thanks to John Darrington for investigation,
review, and verification of fix.

* formats/date-in.sh: Use a portable pseudo-random number
generator.

* formats/time-in.sh: Ditto.
---