On Sat, Jun 01, 2024 at 11:50:37AM +0900, Akira Yokosawa wrote: > Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> Queued and pushed both, 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 c0ac6fda..12aa01fc 100644 > --- a/CodeSamples/formal/data/rcu-test.dat > +++ b/CodeSamples/formal/data/rcu-test.dat > @@ -96,3 +96,4 @@ v6.4 21444 11748 33192 35.4 > "" 21651 12009 33660 35.7 > "" 21957 12064 34021 35.5 > v6.8 22018 12071 34089 35.4 > +"" 22108 12076 34184 35.3 > > base-commit: 43ebeda6629d8203e510b518dacf2863b32b5a85 > -- > 2.34.1 >
