[PATCH] future/formalregress: Fix staccato of 'been'

[PATCH] future/formalregress: Fix staccato of 'been'

[Akira Yokosawa]

From b4f82853b7425a54e5ac898b91660fff66e4190b Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@gmail.com>
Date: Sat, 7 Apr 2018 23:14:24 +0900
Subject: [PATCH] future/formalregress: Fix staccato of 'been'

Also remove redundant "v" in "v4.17".

Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
---
Hi Paul,

If you prefer "v4.17", "version" can be removed instead.

        Thanks, Akira
--
 future/formalregress.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/future/formalregress.tex b/future/formalregress.tex
index dd37ec8..8402da1 100644
--- a/future/formalregress.tex
+++ b/future/formalregress.tex
@@ -116,7 +116,7 @@ In contrast, one of the great strengths of PPCMEM and \co{herd}
 is their detailed modeling of various CPU families memory models,
 including x86, ARM, Power, and, in the case of \co{herd},
 even a Linux-kernel memory model~\cite{Alglave:2018:FSC:3173162.3177156},
-which has been been accepted into version v4.17 of
+which has been accepted into version 4.17 of
 the Linux kernel.

 The \co{cbmc} and Nidhugg tools provide some ability to select
-- 
2.7.4

Re: [PATCH] future/formalregress: Fix staccato of 'been'

[Paul E. McKenney]

On Sun, Apr 08, 2018 at 12:23:05AM +0900, Akira Yokosawa wrote:
> >From b4f82853b7425a54e5ac898b91660fff66e4190b Mon Sep 17 00:00:00 2001
> From: Akira Yokosawa <akiyks@gmail.com>
> Date: Sat, 7 Apr 2018 23:14:24 +0900
> Subject: [PATCH] future/formalregress: Fix staccato of 'been'
> 
> Also remove redundant "v" in "v4.17".
> 
> Signed-off-by: Akira Yokosawa <akiyks@gmail.com>

Good eyes, applied and pushed, thank you!

							Thanx, Paul

> ---
> Hi Paul,
> 
> If you prefer "v4.17", "version" can be removed instead.
> 
>         Thanks, Akira
> --
>  future/formalregress.tex | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/future/formalregress.tex b/future/formalregress.tex
> index dd37ec8..8402da1 100644
> --- a/future/formalregress.tex
> +++ b/future/formalregress.tex
> @@ -116,7 +116,7 @@ In contrast, one of the great strengths of PPCMEM and \co{herd}
>  is their detailed modeling of various CPU families memory models,
>  including x86, ARM, Power, and, in the case of \co{herd},
>  even a Linux-kernel memory model~\cite{Alglave:2018:FSC:3173162.3177156},
> -which has been been accepted into version v4.17 of
> +which has been accepted into version 4.17 of
>  the Linux kernel.
> 
>  The \co{cbmc} and Nidhugg tools provide some ability to select
> -- 
> 2.7.4
>