> Le 7 déc. 2018 à 16:44, Paul Eggert <egg...@cs.ucla.edu> a écrit :
> 
> Thanks, and please install.

Thanks Paul!

Done.

Reply via email to