> Since the user should be able to specify minor modes more than once,
> the following patch fixes this by allowing duplicate modes:
>


Thanks,  your patch works fine.

-- Rocher