Merge pull request #12961 from timothyteakettle/travis-patch-1

if travis approves this then it fixes travis
This commit is contained in:
silicons
2020-07-29 11:12:35 -07:00
committed by GitHub