make default value of `rev` keyword argument type stable#24422

Merged

JeffBezanson merged 1 commit intomasterfrom jb/revkw

Nov 1, 2017

+17-14

Commits on Oct 31, 2017

make default value of rev keyword argument type stable
JeffBezanson
committed