Closed a1phyr closed 4 years ago
Derivative is a quite costly dependence in term of build time, so we can remove it at small cost
Do you need something else in order to merge this ?
Depends -- I'm happy to merge incremental improvements like these (with one approval), but checking with the other members.
bors r+
Checklist
Derivative is a quite costly dependence in term of build time, so we can remove it at small cost