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

Merged

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

JeffBezanson merged 1 commit into master from jb/revkw

make default value of `rev` keyword argument type stable

27ab2993

JeffBezanson merged 4b062662 into master 8 years ago

JeffBezanson deleted the jb/revkw branch 8 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone