You could store the patch file publicly at
http://drop.io
Rob
Thanks for the answer.
I produced a patch file for upgrading from rc1 to rc2:
diff -upr mediawiki-1.13.0rc1 mediawiki-1.13.0rc2 > /tmp/patch-1.13.0rc1-rc2
and applied it like this in the installation directory:
patch -p1 < /tmp/patch-1.13.0rc1-rc2
Worked perfectly!
Sven
P.S.
Anybody wants to host this patch file?