On Sat, Apr 29, 2023 at 04:41:37PM -0700, SeongJae Park wrote:
> On Sun, 30 Apr 2023 08:07:18 +0900 Akira Yokosawa <akiyks@xxxxxxxxx> wrote:
>
> > Commit f87fadc4c8ea ("formal/ppcmem: Use \qco{} instead of ``\co{}''")
> > did not use \qco{} in one of the hunks.
> >
> > Use \qco{} as intended.
>
> Nice catch! Thank you for this fix!
>
> >
> > Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
> > Cc: SeongJae Park <sj38.park@xxxxxxxxx>
>
> Reviewed-by: SeongJae Park <sj38.park@xxxxxxxxx>
I pulled in these along with SeongJae's patches, thank you both!
Thanx, Paul
> Thanks,
> SJ
>
> > ---
> > formal/ppcmem.tex | 2 +-
> > 1 file changed, 1 insertion(+), 1 deletion(-)
> >
> > diff --git a/formal/ppcmem.tex b/formal/ppcmem.tex
> > index 10526bca88ae..9d7704fa43d0 100644
> > --- a/formal/ppcmem.tex
> > +++ b/formal/ppcmem.tex
> > @@ -99,7 +99,7 @@ exists @lnlbl[assert:b]
> >
> > \begin{fcvref}[ln:formal:PPCMEM Litmus Test]
> > In the example, \clnref{type} identifies the type of system (\qco{ARM} or
> > -\co{PPC}) and contains the title for the model.
> > +\qco{PPC}) and contains the title for the model.
> > \Clnref{altname} provides a place for an
> > alternative name for the test, which you will usually want to leave
> > blank as shown in the above example.
> > --
> > 2.25.1
> >
> >
