14 Apr
2009
14 Apr
'09
10 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.