On Thu, Jan 30, 2025 at 07:28:16PM +0900, Akira Yokosawa wrote: > Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> Queued, and thank you! Thanx, Paul > --- > CodeSamples/formal/data/rcu-test.dat | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/CodeSamples/formal/data/rcu-test.dat b/CodeSamples/formal/data/rcu-test.dat > index e984fa8a..acb29ae2 100644 > --- a/CodeSamples/formal/data/rcu-test.dat > +++ b/CodeSamples/formal/data/rcu-test.dat > @@ -100,3 +100,4 @@ v6.8 22018 12071 34089 35.4 > "" 22579 12085 34664 34.9 > "" 22676 12095 34771 34.8 > v6.12 22834 12313 35147 35.0 > +"" 22961 12414 35375 35.1 > > base-commit: ff5ebfc467117f34c4d4066d83b7883b151da63b > -- > 2.34.1 >