Skip to content

Deprecate make_and in favour of conjunction(expr, expr)#8450

Open
tautschnig wants to merge 1 commit intodiffblue:developfrom tautschnig:no-make_and
+39-27

Commits

Commits on Sep 13, 2024