Gio/vacuously true

[sinkingsugar]

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 79.57%. Comparing base (26fa172) to head (07bf8e8). Report is 4 commits behind head on devel.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## devel #1072 +/- ## ========================================== - Coverage 79.58% 79.57% -0.01% ========================================== Files 357 357 Lines 61096 61099 +3 ========================================== - Hits 48623 48621 -2 - Misses 12473 12478 +5 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.