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@xxxxxxxxx>
> 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@xxxxxxxxx>
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
>
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
