Re: scsh 0.6.7 is *broken*, 0.7 of very uncertain value hga@xxxxxx 13 Jul 2019 17:19 UTC