> Le 7 déc. 2018 à 16:44, Paul Eggert <[email protected]> a écrit :
> 
> Thanks, and please install.

Thanks Paul!

Done.

Reply via email to