Mutt made me believe that Christian Foerster wrote:
> I tried gunzip diff-2000-11-23.gz | patch and also gunzip 
> diff-2000-11-23.gz | patch -p1

Oops, I got that part wrong. The default output of gunzip is nothing,
it just replaces diff-2000-11-23.gz by diff-2000-11-23.
You could either do
	gzip -cd diff-2000-11-23.gz | patch
or
	gunzip diff-2000-11-23.gz
	patch < diff-2000-11-23

Bye,
 Thomas

-- 
Thomas Klausner - wiz@danbala.tuwien.ac.at
To live for some future goal is shallow. It's the sides of the mountain
that sustain life, not the top. -- Robert M. Pirsig