Skip to content

Remove last few unnecessary include_summand<> checks - #1555

Merged
mcol merged 1 commit into
developfrom
bugfix/1519_unnecessary_checks
Dec 28, 2019
Merged

Remove last few unnecessary include_summand<> checks#1555
mcol merged 1 commit into
developfrom
bugfix/1519_unnecessary_checks

Remove checks that are always true

5768b52
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs