Ensure that divide
utilities inject a default border color#5438
Merged
RobinMalfait merged 1 commit intomasterfrom fix-divide-utilitiesSep 8, 2021
divide
utilities inject a default border color#5438