PR #25288 fix replace deprecation in julia-config

fix replace deprecation in julia-config #25288

vtjnash merged 1 commit into master from jn/25288

fix replace deprecation in julia-config

8fa1356f

Sacha0 approved these changes on 2017-12-27

vtjnash merged bbc7b83d into master 8 years ago

vtjnash deleted the jn/25288 branch 8 years ago

Reviewers

Sacha0

Assignees

No one assigned

Labels

None yet

Milestone

No milestone