On 01/12/2017 09:47 AM, Paul Eggert wrote: > |git <https://git-scm.com> clone https://github.com/eggert/tz | Sorry, my email client mangled that one. The actual shell command should be: git clone https://github.com/eggert/tz