On Mon, Mar 04, 2019 at 12:11:07PM -0800, Gary E. Miller via devel wrote: > Given the Comodo mess of last week I expect a lot more people will want to > do pinning next month. Do you have a reference for this mess? Thanks, -Matt