25 Mar
2009
25 Mar
'09
9:32 p.m.
On Tuesday, 24.03.09 at 23:26, Nicolas Pouillard wrote:
I attach a darcs patch that does exactly this. However I've only tested a few test cases.
Thank you very much for doing that, Nicolas. I verified that it fixes everything here and sent a unified diff to Henning. Hopefully this resolves the issue. Thanks again.