14 Apr
2009
14 Apr
'09
6 a.m.
Hi, Pepe Iborra pointed out that my patch is not in the right format for gnu patch command. Sorry for inconvenience (I used "darcs what -u" instead of "darcs diff -u"). Here it is attached in the correct format. Thanks, Peter.