From: Akira Yokosawa <akiyks@gmail.com>
To: "Paul E. McKenney" <paulmck@kernel.org>
Cc: perfbook@vger.kernel.org, Akira Yokosawa <akiyks@gmail.com>
Subject: [PATCH -perfbook 1/6] memorder: Fix typo ("`" --> " ")
Date: Thu, 4 Jun 2026 19:11:15 +0900 [thread overview]
Message-ID: <0a885c74-8ecd-48ef-96e9-e262895f949a@gmail.com> (raw)
In-Reply-To: <238a898f-78dd-48ff-b2b8-996b477dbcf6@gmail.com>
Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
---
memorder/memorder.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/memorder/memorder.tex b/memorder/memorder.tex
index 309d3be1..d0775c36 100644
--- a/memorder/memorder.tex
+++ b/memorder/memorder.tex
@@ -5571,7 +5571,7 @@ API to the C++ standard~\cite{DavidGoldblatt2022asymmetricFences}.
It is quite beneficial to verify code in terms of a higher-level primitive
instead of in terms of the low-level memory accesses used in a particular
implementation of that primitive.
-First, this allows code using`those primitives to be
+First, this allows code using those primitives to be
verified against an abstract representation of those primitives,
thus making that code less vulnerable to implementation changes.
Second, partitioning the verification at API boundaries results in
--
2.43.0
next prev parent reply other threads:[~2026-06-04 10:11 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-06-04 10:10 [PATCH -perfbook 0/6] Updates for LaTeX2e <2026-06-01> release Akira Yokosawa
2026-06-04 10:11 ` Akira Yokosawa [this message]
2026-06-04 10:14 ` [PATCH -perfbook 2/6] runlatex.sh: "iconv -l" rather than "iconv --list" Akira Yokosawa
2026-06-04 10:15 ` [PATCH -perfbook 3/6] precheck-tentative.sh: Allow "v4.4a" style revision of lineno.sty Akira Yokosawa
2026-06-04 10:17 ` [PATCH -perfbook 4/6] Get rid of "arydshln" Akira Yokosawa
2026-06-04 10:24 ` [PATCH -perfbook 5/6] Stop using "cleveref" with LaTeX2e <2024-11-01> and later Akira Yokosawa
2026-06-04 10:26 ` [PATCH -perfbook 6/6] memorder: Fix use of \cpagerefrange{}{} Akira Yokosawa
2026-06-04 17:28 ` [PATCH -perfbook 0/6] Updates for LaTeX2e <2026-06-01> release Paul E. McKenney
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0a885c74-8ecd-48ef-96e9-e262895f949a@gmail.com \
--to=akiyks@gmail.com \
--cc=paulmck@kernel.org \
--cc=perfbook@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox