PR #1538 minor updates to the installation instructions

minor updates to the installation instructions #1538

mergify merged 2 commits into master from installation_instructions

minor updates to the installation instructions

14173d86

PatrickMassot approved these changes on 2019-10-12

PatrickMassot added ready-to-merge

Merge branch 'master' into installation_instructions

63f83db1

mergify merged 27515619 into master 6 years ago

mergify deleted the installation_instructions branch 6 years ago

Reviewers

PatrickMassot

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone