On 2019-10-15 21:13:30 [-0700], Paul E. McKenney wrote: > Sadly, this one ran afoul of the .txt-to-.rst migration. Even applying > it against linus/master and cherry-picking it does not help. I will > defer it for the moment -- perhaps Mauro or Joel have some advice. Don't worry about it then. Just point me to the tree once it is done. > Thanx, Paul Sebastian
