Closed DrLeturc closed 2 years ago
@DrLeturc please note I've added myself as a reviewer for this PR. Please see also my comments on #38. I will try to propose an updated definition that is less ambiguous but captures the points from the initial definition.
We agree with Fabien: please remove
(or tool)