PR #1981 Fix comments which refer to jenkins.

Fix comments which refer to jenkins. #1981

richvdh merged 2 commits into master from rav/fix_jenkins_comments

Fix comments which refer to jenkins.

9e2b65ec

richvdh requested a review from

turt2live 6 years ago

jryans commented on 2019-04-30

Spelling

282586ed

turt2live approved these changes on 2019-04-30

richvdh merged 4e9dc209 into master 6 years ago

Reviewers

turt2live

jryans

Assignees

No one assigned

Labels

None yet

Milestone

No milestone