ian 5907a5a769 Fix corrupt distfile noted by naddy@. Do a bit less work in getting ... revision# here, more in mirror script. No bump as it could not have built.		2010-11-30 00:48:56 +00:00
..
patch-build_xml	Fix corrupt distfile noted by naddy@. Do a bit less work in getting	2010-11-30 00:48:56 +00:00