Skip to content

Deprecate scale! in favor of mul!, mul1!, and mul2!#25701

Merged
JeffBezanson merged 5 commits intomasterfrom anj/scaleJan 24, 2018