On Wed, 2017-04-26 at 17:49 +0200, Mike Galbraith wrote: > On Wed, 2017-04-26 at 08:44 -0700, Paul E. McKenney wrote:
> > Should I be comparing this with the 55s number from your initial email,
> > or to the 39s number?
>
> Should be the 39...
And 39 it is.
-Mike

