Skip to content
Snippets Groups Projects
Commit cd213143 authored by Simon Praetorius's avatar Simon Praetorius
Browse files

Merge branch 'cleenup/deprecate-dune-disj-conj-neg-typetraits' into 'master' 

Followup of Cleanup/deprecate dune disj conj neg typetraits

See merge request !974
parents 47b6d772 ceea0683
Branches
Tags
1 merge request!974Followup of Cleanup/deprecate dune disj conj neg typetraits
Pipeline #37861 passed
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#37862

    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