Thanks a lot !

Fabrice


2013/7/12 Andreas Schwab <schwab@linux-m68k.org>

> Fixed.
>
> Andreas.
>
> --
> Andreas Schwab, schwab@linux-m68k.org
> GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
> "And now for something completely different."
>