Le 08/03/2011 21:30, Stephan Witt a écrit :
The attached patch fixes this. JMarc, is this the right thing?
I think it was correct, but here is nevertheless a more idiomatic version (that subsumes José's patch too).
Please and commit if it works also for you. José, if you have time, please test it too ! JMarc