On Tue, Apr 09, 2019 at 12:44:20AM +0900, Akira Yokosawa wrote:
> Hi Paul,
>
> This is a followup patch set relative to the workaround patch
> in this mail thread ("formal/dyntickrcu: Mitigate ugliness around
> tall inline snippets").
>
> Looks like you have not pushed it yet, though.
You are right, I did miss that step! Fixed.
> It turns out that I misunderstood the working of \AtBeginEnvironment{}
> command, and patch #1 fixes the way to redefine VerbatimN environment.
> I wanted to add a Fixes: tag, but I don't have the commit id, so
> I put a stub of "xxxxxxxxxxxx" in the change log. Can you replace it
> with the actual commit id?
Done!
> Patches #2 and #3 add references to the git commits of the fixes to
> bugs in preemptive RCU found by verification. The actual changes were
> a little bit different from what are presented in inline snippets,
> but I left the snippets as are. As they are more than a decade
> old, adding references should help the context look more real.
I reworked #2 a bit to place the new citations in time order (along
with another that I had misplaced).
Queued and this time really pushed! ;-) Thank you!!!
Thanx, Paul
> Thanks, Akira
> --
> Akira Yokosawa (3):
> formal/dyntickrcu: Fix the way to redefine VerbatimN
> RCU.bib: Add entries of git commits of dyntickrcu fixes
> formal/dyntickrcu: Cite git commits of dyntickrcu fixes
>
> bib/RCU.bib | 22 ++++++++++++++++++++++
> formal/dyntickrcu.tex | 12 ++++--------
> perfbook.tex | 5 ++++-
> 3 files changed, 30 insertions(+), 9 deletions(-)
>
> --
> 2.17.1
>
>
