On Fri, Aug 01, 2025 at 08:30:15PM +0900, Akira Yokosawa wrote:
> Signed-off-by: Akira Yokosawa <[email protected]>

Queued and pushed, thank you!

                                                        Thanx, Paul

> ---
>  CodeSamples/formal/data/rcu-test.dat | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
> 
> diff --git a/CodeSamples/formal/data/rcu-test.dat 
> b/CodeSamples/formal/data/rcu-test.dat
> index dc7ac7ec..d63c1bd7 100644
> --- a/CodeSamples/formal/data/rcu-test.dat
> +++ b/CodeSamples/formal/data/rcu-test.dat
> @@ -102,4 +102,5 @@ v6.8  22018 12071 34089 35.4
>  v6.12 22834 12313 35147 35.0
>  ""    22961 12414 35375 35.1
>  ""    22107 12620 34727 36.3
> -v6.15 22300 12758 35058 36.4
> +""    22300 12758 35058 36.4
> +v6.16 22370 12983 35353 36.7
> 
> base-commit: 7348873f5c9fc45a42a6a6b1463631f212bd2661
> -- 
> 2.43.0
> 

Reply via email to