K, Peter asked me to do the renames on a mercurial checkout (Mercurial history actually tracks renames, and git doesn't care), so I'll take care of this later today, or tomorrow if I get overly busy. ~TJReceived on Tuesday, 10 October 2017 19:32:31 UTC
This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:09:08 UTC