18 Jul
2009
18 Jul
'09
3:22 p.m.
On Fri, Jul 17, 2009 at 04:33:24PM +0100, Ian Lynagh wrote:
On Thu, Jul 09, 2009 at 11:42:20AM +0200, Laszlo Nagy wrote:
http://sites.google.com/site/rizsotto/patches/random-time.darcs
Thanks; I'll take a look at adding time to GHC's corelibs, and then apply this.
Now applied; thanks for the patch! Thanks Ian