Closed a-corni closed 2 months ago
Following release of v0.17.4
I'm being very picky, but would it be possible to avoid the last merge commit?
Sorry I did it in a rush and branched from master instead of develop, I opened a new PR #670, I think it is better :)
Redone in #670
Following release of v0.17.4