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

Reply via email to