Hello, As expected on such hot issues, it's difficult to arrive at a consensus among committers. However, I think that this ticket might be useful for contributors (or even committers, I would be first!). So the question is: what do we do about this ticket? Are there some more "rules" we would like to discuss? Best regards, Sébastien
- [math] MATH-852 Sébastien Brisard
- Re: [math] MATH-852 Gilles Sadowski
- Re: [math] MATH-852 Sébastien Brisard