Fix comments which refer to jenkins. (#1981)

Commit

6 years ago

Fix comments which refer to jenkins. (#1981) * Fix comments which refer to jenkins. * Spelling Co-Authored-By: turt2live <travpc@gmail.com>