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?