On Fri, 16 Nov 2001 00:15:48 +0100, Martin v. Loewis wrote: >Sure; patches are welcome. AFAICT, pulldom doesn't expose a feed >interface, so that would cause no API breakage. Your wish is my command. ;) See xml-checkins. Ciao, J=FCrgen