Le 25/03/2013 11:11, Tobias Burnus a écrit :
> 
> Is the updated patch now okay for the trunk? (It was build and regtested
> on x86-64-gnu-linux.)
> 
OK. Many thanks.

Mikael

Reply via email to