On Fri, Feb 16, 2018 at 12:19:58AM +0100, Andrea Parri wrote:
> On Thu, Feb 15, 2018 at 02:49:37PM -0800, Paul E. McKenney wrote:
> > On Thu, Feb 15, 2018 at 11:30:09PM +0100, Andrea Parri wrote:
> > > On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote:
> > > > Signed-off-by: Paul E.
On Thu, Feb 15, 2018 at 02:49:37PM -0800, Paul E. McKenney wrote:
> On Thu, Feb 15, 2018 at 11:30:09PM +0100, Andrea Parri wrote:
> > On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote:
> > > Signed-off-by: Paul E. McKenney
> >
> > nit: s/understore/underscore (a very understandabl
On Thu, Feb 15, 2018 at 11:30:09PM +0100, Andrea Parri wrote:
> On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote:
> > Signed-off-by: Paul E. McKenney
>
> nit: s/understore/underscore (a very understandable lapsus, BTW ;-)
;-)
Will fix when squashing.
> According to the cover l
On Fri, Feb 09, 2018 at 06:20:29AM -0800, Paul E. McKenney wrote:
> Signed-off-by: Paul E. McKenney
nit: s/understore/underscore (a very understandable lapsus, BTW ;-)
According to the cover letter, patches 8-10 of this series are intended
to be squashed together; it could be useful to add a d
Signed-off-by: Paul E. McKenney
---
tools/memory-model/linux-kernel.bell | 2 +-
tools/memory-model/linux-kernel.cat | 2 +-
tools/memory-model/linux-kernel.def | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/tools/memory-model/linux-kernel.bell
b/tools/memory-model/linu
5 matches
Mail list logo