On Fri, Aug 30, 2019 at 01:32:16PM +0200, Peter Zijlstra wrote: > On Wed, Jul 31, 2019 at 01:25:17PM -0700, Paul E. McKenney wrote: > > Looks like a pretty clear consensus thus far. Any objections to keeping > > these .txt for the time being? > > Obviously I'm a huge proponent of abandoning RST and an advocate for > normal .txt files ;-) Oh? I hadn't noticed. ;-) Thanx, Paul