Merge branch 'cleenup/deprecate-dune-disj-conj-neg-typetraits' into 'master'
Followup of Cleanup/deprecate dune disj conj neg typetraits
See merge request !974 (merged)
(cherry picked from commit cd213143)
ceea0683 Implement backports Std::conjunction, Std::disjunction and Std::negation in...