2009/10/8 Frederik Ramm <[email protected]>: > I have fixed the planet dump utility (can someone make sure it gets > checked out on the server creating the dumps?) and will also manually > fix my planet file; if anyone is interested I can upload the fixed file > to somewhere but that'd take a few hours. >
Thanks, deployed. Worthwhile running a replacement planet dump? ~20 hours. / Grant _______________________________________________ dev mailing list [email protected] http://lists.openstreetmap.org/listinfo/dev
