1 Aug
2008
1 Aug
'08
5:11 p.m.
On Thu, 31 Jul 2008 at 12:33pm, Johnny Hughes wrote
I have pushed all those with new dates today ... the issue is that the date and size is the same, so it does not check the md5 checksum.
The change in time SHOULD make it push all files out to all the mirrors.
It may take several hours for the mirrors to get updated
Looks good -- thanks!
--
Joshua Baker-LePain
QB3 Shared Cluster Sysadmin
UCSF