Skip to content
Snippets Groups Projects
Commit 1c46e0dd authored by Ansgar Burchardt's avatar Ansgar Burchardt
Browse files

Merge branch 'chore-minor-cxx-update' into 'master' 

chore: two minor C++ style improvements

See merge request !1331
parents ca3f2b27 a2ef0a26
1 merge request!1331chore: two minor C++ style improvements
Pipeline #67074 passed
Stage: .pre
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#67076

    Hide whitespace changes
    Inline Side-by-side
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Please register or to comment