>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>
---
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
